. . "The federal workforce grew to its largest size ever this year, 2.1 million people, including 1.4 million civilian employees." . .