So the size of fed govt non-military has basically doubled? 775,000 to 1.5 million, while the population has roughly doubled?
Actually, she said that in the 1960’s, there were ~1.8 million FedGov employees, and that there are 2.3 million now. That’s an increase of ~28%. Not insignificant, but also not all that shocking, given population growth over the same period.