Number of federal employees

Includes core public administration and separate agencies