Of course they value their currency higher than anything else. Reminds me of when I visited Yugoslavia during the war: the official exchange rate at the official exchange places was 1 USD = 1 Dinar!!! Only a couple of years before the rule was: ignore the last four zeros on the dinar bills. Of course everyone just laughed at these "official rules" and used Dollars and D-marks under the counter as if they were the national currency, resulting to the Dinar only whenever they couldn't avoid it.