pub static mut extra_float_digits: c_int