Four.
Then I added up all the TOTAL number of troops in our major Army units today (10 divisions and 4 brigade-sized elements) and got around 176,000. And not all of those (about half?) are "trigger pullers".
We have Marines, too, of course. But I wonder, even including them along with the Army, if we have much more than 150,000 actual ground combat troops in the active military.