I hadn’t even noticed as the US dollar crept up to $1.055 which is the current official exchange rate. Of course, actual – say, charged by the credit card companies – is closer to $1.08.