1#include "libm.h"
2
3double __math_divzero(uint32_t sign)
4{
5 return fp_barrier(sign ? -1.0 : 1.0) / 0.0;
6}
7