Ok, so it doesn't matter that you got paid double, only that you got paid over regular rate.

And the only amount you can get excluded is the extra half. So you can only exclude half of the double-time overtime rate, which is half of the total regular rate.

Good to know.