1#include "libm.h" 2 3double __math_uflow(uint32_t sign) 4{ 5 return __math_xflow(sign, 0x1p-767); 6} 7