asdouble
(d) = asdouble(((uint64_t)(hi)<<32) | (uint32_t)(lo)); \
tail = asdouble(T[idx]);
scale = asdouble(sbits);
scale = asdouble(sbits);
scale = asdouble(sbits);
tail = asdouble(T[idx]);
scale = asdouble(sbits);
scale = asdouble(sbits);
scale = asdouble(sbits);
s = asdouble(t);
s = asdouble(t);
z = asdouble(iz);
rhi = asdouble(asuint64(r) & -1ULL << 32);
rhi = asdouble(asuint64(r) & -1ULL << 32);
z = asdouble(iz);
double_t toint = asdouble(asuint64(1/EPS) | sign);
scale = asdouble(sbits);
scale = asdouble(sbits);
y = asdouble(sbits & 0x8000000000000000);
tail = asdouble(T[idx]);
scale = asdouble(sbits);
double_t yhi = asdouble(iy & -1ULL << 27);
double_t lhi = asdouble(asuint64(hi) & -1ULL << 27);
z = asdouble(iz);
double_t zhi = asdouble((iz + (1ULL << 31)) & (-1ULL << 32));
s = asdouble(t);