SET_HIGH_WORD
{SET_HIGH_WORD(x,(hx&0x800fffff)|(k<<20)); return x;}
SET_HIGH_WORD(x,(hx&0x800fffff)|(k<<20));
SET_HIGH_WORD(x,(hx&0x7fffffff)|(hy&0x80000000));