[frankbreetz]

This is less then the number of people who retire from the federal government every year. I would expect a significant number of these people to be people who were going to retire anyway and want get out a few months early:

https://www.opm.gov/retirement-center/retirement-statistics/