extra_float_digits float8_cmp_internal float_overflow_error float_underflow_error float_zero_divide_error

float_zero_divide_error() pg_noinline void float_zero_divide_error ( void  )