In the FedGov, overtime rates are capped by law at a certain maximum rate. As you rise through the pay scale, overtime stops being time-and-a-half, and eventually becomes less than regular time. In times of budgetary difficulty, overtime pay is generally not authorized at all, so taking the compensatory time off is the only option.
Actually if they work overtime thier paycheck should be reduced.