551.513—Entitlement to other forms of pay.
Overtime pay under this subpart shall be paid in addition to all pay, other than overtime pay, to which the employee is entitled under title 5, United States Code, or any other authority. An employee entitled to overtime pay under this subpart and overtime pay under any authority outside of title 5, United States Code, shall be paid under whichever authority provides the greater overtime pay entitlement in the workweek.