The civilian federal workforce, not including military personnel and postal workers, comprises about 2.4 million people.