Periods of employee election and payment dates shall be established by the City of Jacksonville in accordance with IRS regulations. Any leave remaining in an employee’s personal leave and/or retirement account will be paid to the employee in a lump sum at retirement.