That’s 1% of gross domestic product, and almost 5% of total federal spending. The government payroll for other developed ...