Comment by dsq

It sounds like a lot, but there's about a hundred yen per usd, so in govt budget terms that's single digit billions. Still, it's Japan, so it'll probably be used judiciously.