A senior administration official confirmed the figure in the hours after a court rejected a bid by unions to quash the program.

The figure – 3.75 percent of the nation’s 2 million federal employees – falls short of the projected 5 percent to 10 percent of federal employees the White House expected to take the deal.

https://thehill.com/regulation/court-battles/5142311-opm-75000-workers-took-trump-musk-government-buyout/