Hmm. $13M is three minutes of additional US money printing.

https://budget.house.gov/press-release/us-national-debt-surp...