“credit hours” means any hours, within a flexible schedule established under
section 6122 of this title, which are in excess of an employee’s basic work requirement and which the employee elects to work so as to vary the length of a workweek or a workday;