Did we bail them out before? From what I can tell, we opened up a currency swap using a Treasury fund (not funded by tax dollars) specifically devoted to currency stabilization.
> using a Treasury fund (not funded by tax dollars)
tell me, where do you think the Treasury gets its dollars...
> The ESF can convert SDRs into dollars on its account by issuing certificates against them and selling the certificates to the Federal Reserve,[6] and later repurchase them when it has surplus cash.
So they did actually fund it by printing money.