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