You have to remember that CSRS was discontinued in 1987 ~ these are the folks who were hired in BEFORE that date ~ 23 years ago ~ and many are ready for retirement.
FERS covers the overwhelming majority of federal employees. They pay Social Security.