That is correct. you only get the .5 time no matter how much the OT premium is. So double time must be divided by 4.
