Hvad Förenta staternas regering kostar om året får man en ganska god idé örn genom att genomse finansministerns budgetsförslag till kongressen.