How many people work in the US government? (Federal, state, and local employees)

This is not OC and probably is an unlabeled bot account. Check their post history.