[zdragnar]

The 770,000 number for the DOD is just the civilian employee count. It becomes the "largest" when you also include the 2.1 million active service members of the military. I definitely could have worded that better.