If you add up what a government worker gets in pension payouts, they are millionaires too.
Easily. Well over a million if the retiree lives long enough.