More than 88,000 federal employees retired last year, which is on par with the number of feds who left in 2023.