Thats correct. Only the half time portion of time and a half can be used as a deduction, as thats mandated.  Double time is not a mandated wage so you only get the half time portion of that as well, so the half time portion of double time is a quarter.