Ah, my bad, I read it wrong. That makes a lot more sense! So how many people do actually receive a pay check from the US military.
From what I can find there are 1.3m active duty military, 0.8m in reserve, and 0.7m civilians employed by the military.
I had to do the math myself for civilians in excel real quick using the data by state but the article mentions the other two numbers.