pub const float_flag_divbyzero: c_uint = 4;