extra_float_digits float8_cmp_internal float_overflow_error float_underflow_error float_zero_divide_error

extra_float_digits int extra_float_digits = 1