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.
Awesome how almost every time I see almost anything asserted on HN within my areas of expertise it will reliably be dramatically incorrect.
USD/YEN > 150