There will be some 300,000 fewer federal workers on the government payroll by the end of December than there were in January, ...