How many people does government employ?

The number of people working in the public sector has shot up by almost 10,000 since 2013, reaching over 51,000.