Population of the federal public service