US National Debt: is $32 trillion a big number?