Over the years there have been plenty of kinds of pension plans, it didn't necessarily have to be a 401(k). If he put some stock options or company stock into the plan years ago it could have grown to the amount that was decribed. Then when he leaves the company he just rolls his pension into an IRS account, which is what you usually do when you leave a company.
IRA account, not “IRS account.”
lol.