#include "libm.h" float __math_oflowf(uint32_t sign) { return __math_xflowf(sign, 0x1p97f); }