The US government directly employs 2 million civilians. Active-duty military number 1.3 million, and the USPS employs 500,000. There are also 1.3 million grant employees, persons paid through a federal grant and roughly 4 million contract employees. The total, 9.1 million persons. My ballpark guess is 40% of contractors and grant workers, or 2.1 million persons, are not getting paid (and won’t get backpay) in addition to 800,000 civilian workers.