efx8
return (8*x+efx8*x)/8; /* avoid spurious underflow */
efx8 = 1.02703333676410059116927122497236133e+00L, /* 0xecbff6a7, 0x481dd788, 0xb64d21a8, 0xeb06ff3f */
RETURNI((8*x+efx8*x)/8); /* avoid spurious underflow */
efx8= 1.02703333676410069053e+00, /* 0x3FF06EBA, 0x8214DB69 */
return (8*x+efx8*x)/8; /* avoid spurious underflow */
efx8= 1.02703333e+00, /* 0x3f8375d4 */
return (8*x+efx8*x)/8; /* avoid spurious underflow */