Q: How many federal employees work in DC?
A: About half, LOL!
You are being generous. Of course, if the question was “how many fed employees do anything productive?”, the answer would be around 10%.