I looked at the OPM site and another downsizing site. The US Civil service is
about 2 million today. That is also about what it was during early Bush 1. It
had been on a downsizing trend in the 90s but 9-11 and the TSA added 160,000
people.