invln10_hi
invln10_hi = 4.3429448176175356e-1, /* 0x1bcb7b15000000.0p-54 */
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;
RETURNI(invln10_hi * hi +