invln2_hi
invln2_hi = 1.4426950402557850e0; /* 0x17154765000000.0p-52 */
invln2_lo_plus_hi = invln2_lo + invln2_hi;
RETURNI(invln2_hi * hi + (invln2_lo_plus_hi * lo + invln2_lo * hi));
static const double invln2_lo_plus_hi = invln2_lo + invln2_hi;
RETURNI(invln2_hi * hi +