For all retirement purposes including benefit eligibility and calculations of retirement allowances for state employees in the personal leave program, credit for service shall be based on the amount of service that would have been credited had the employee not been in the personal leave program.