pub const float_tininess_after_rounding: c_uint = 0;