(and FYI, if you are younger than 45 and farther from retirement age, that lump sum amount would be smaller.)