Credit for paid leave. Sick leave, personal leave,
vacation leave, jury duty leave and holidays will be included as time
worked for the purpose of computing overtime. Bereavement leave and
military leave will not be included as time worked for the purpose
of computing overtime.