Just how many people work for the US Federal Government? About 3 million or 1.9% of the US workforce.