Rollup merge of #127047 - tspiteri:f128-aconsts-lsd, r=tgross35 · model-checking/verify-rust-std@686f75b (original) (raw)

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