About 75,000 workers have accepted Trump’s buyout program

Reuters with the info.

75k lopped from the workforce will be a big saving. There is some debate on how many will need to be hired back, perhaps as private sector employees, to perform necessary government jobs.