Obama has hired maybe 250,000 fed workers ( I think that is low, with a good study.
Toss in the contractors. It's big all right.