I think close to 50% - regulated to a maximum of that by law - of the US debt is owned by foreigners, T-Bills, as a previous poster stated.
So I beleive that a little bit of dollar devaluation to be a good thing, since we would be paying them a lower effective %age rate, maybe 2% instead of...