pub unsafe fn float_underflow_error() -> !