pub const float_tininess_before_rounding: c_uint = 1;