The term “lump-sum credit” means the unrefunded amount consisting of retirement deductions made from a participant’s basic pay and amounts deposited by a participant covering earlier service, including any amounts deposited under section
2082
(h) of this title.