That’s the answer to the unasked question (via Lew) “including contractors, just how many employees of the US government are there?”

Ponder that for a moment.