invln2_lo
invln2_lo = 6.33178418956604368501892137426645911e-10L, /* 0x15c17f0bbbe87fed0691d3e88eb57.0p-143L */
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;
(invln2_lo_plus_hi * lo + invln2_lo * hi));