SET_LDOUBLE_MSW64
SET_LDOUBLE_MSW64(t1,ha);
SET_LDOUBLE_MSW64(yy1,hb);
SET_LDOUBLE_MSW64(t1,ha+0x0001000000000000LL);
SET_LDOUBLE_MSW64(t1,high+(k<<48));
SET_LDOUBLE_MSW64(a,ha); /* a <- |a| */
SET_LDOUBLE_MSW64(b,hb); /* b <- |b| */
SET_LDOUBLE_MSW64(a,ha);
SET_LDOUBLE_MSW64(b,hb);
SET_LDOUBLE_MSW64(t1,0x7ffd000000000000LL); /* t1=2^16382 */
SET_LDOUBLE_MSW64(a,ha);
SET_LDOUBLE_MSW64(b,hb);
SET_LDOUBLE_MSW64(x,hx);
SET_LDOUBLE_MSW64(x,hx);
SET_LDOUBLE_MSW64(x,hx);