Estimated full-time equivalent federal employees, in millions