#include "libm.h" double __math_uflow(uint32_t sign) { return __math_xflow(sign, 0x1p-767); } #ifdef TEST int main(void) { return 0; } #endif