invln10_lo
invln10_lo = 1.41498268538580090791605082294397000e-10L, /* 0x137287195355baaafad33dc323ee3.0p-145L */
invln10_lo_plus_hi = invln10_lo + invln10_hi,
RETURNI(invln10_hi * hi + (invln10_lo_plus_hi * lo + invln10_lo * hi));
static const double invln10_lo_plus_hi = invln10_lo + invln10_hi;
(invln10_lo_plus_hi * lo + invln10_lo * hi));