Trump says the federal workforce is too big. Here's what to know about its size.
The federal government is the nation's largest employer, yet the size of its workforce hasn't kept up with U.S. population growth, experts say.