The entire federal workforce is 4% of the total budget