Curious -- based on what? Compared to other cloud providers? Compared to the normal # of gov officials at Seattle-based tech companies like Microsoft? As a % of overall work force?
The US government is the largest employer in the US, and Amazon is one of the largest private employer. Literally millions in the former, 100's of thousands in the later.