#include "libm.h"

double __math_oflow(uint32_t sign)
{
        return __math_xflow(sign, 0x1p769);
}