SET_HIGH_WORD
SET_HIGH_WORD(exp_x, (hx & 0xfffff) | ((0x3ff + 1023) << 20));
SET_HIGH_WORD(x, hx - 0x40000000); /* x = copysign(1, x) */