fix least significant digits of f128 associated constants · model-checking/verify-rust-std@2bd2069 (original) (raw)

Original file line number Diff line number Diff line change
@@ -167,15 +167,15 @@ impl f128 {
167 167 /// [Machine epsilon]: https://en.wikipedia.org/wiki/Machine\_epsilon
168 168 /// [`MANTISSA_DIGITS`]: f128::MANTISSA_DIGITS
169 169 #[unstable(feature = "f128", issue = "116909")]
170 -pub const EPSILON: f128 = 1.92592994438723585305597794258492731e-34_f128;
170 +pub const EPSILON: f128 = 1.92592994438723585305597794258492732e-34_f128;
171 171
172 172 /// Smallest finite `f128` value.
173 173 ///
174 174 /// Equal to −[`MAX`].
175 175 ///
176 176 /// [`MAX`]: f128::MAX
177 177 #[unstable(feature = "f128", issue = "116909")]
178 -pub const MIN: f128 = -1.18973149535723176508575932662800701e+4932_f128;
178 +pub const MIN: f128 = -1.18973149535723176508575932662800702e+4932_f128;
179 179 /// Smallest positive normal `f128` value.
180 180 ///
181 181 /// Equal to 2[`MIN_EXP`] − 1.
@@ -191,7 +191,7 @@ impl f128 {
191 191 /// [`MANTISSA_DIGITS`]: f128::MANTISSA_DIGITS
192 192 /// [`MAX_EXP`]: f128::MAX_EXP
193 193 #[unstable(feature = "f128", issue = "116909")]
194 -pub const MAX: f128 = 1.18973149535723176508575932662800701e+4932_f128;
194 +pub const MAX: f128 = 1.18973149535723176508575932662800702e+4932_f128;
195 195
196 196 /// One greater than the minimum possible normal power of 2 exponent.
197 197 ///