__math_xflow
hidden double __math_xflow(uint32_t, double);
return __math_xflow(sign, 0x1p769);
return __math_xflow(sign, 0x1p-767);