Exactly right, Fred. Most people in the US never think about currency devaluation, although we should have many a time! The US dollar floats on the world currency markets, so is revalued every single day. What this means is not much on a daily basis. Over time, though, it adds up to quite a bit.