I was having a problem with that calculation also, but the only qualified OT allowable is  1/2 time since that is what FLSA requires. If the total amout of reqular and  OT paid at double time is reported by the employer,  then dividing by 4 will give you the allowable 1/2 time portion.