“””””It is that way for most government employees.””””””
No, it isn’t.
The ones I know. Retire at 90% of their salary.