36% of the civilian Federal workforce is accounted for by the Defense Department alone. Just saying. I'll leave it to readers to do the math.