Only $9.2 trillion in debt? Oh well.