From 3f10e6c86d9d602a821b3156266978c33a214965 Mon Sep 17 00:00:00 2001 From: Urgau Date: Mon, 15 Aug 2022 12:47:05 +0200 Subject: [PATCH] Say that the identity holds only for all finite numbers (aka not NaN) --- library/core/src/num/f32.rs | 4 ++-- library/core/src/num/f64.rs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/library/core/src/num/f32.rs b/library/core/src/num/f32.rs index f6cef3f80670..dd956e2aa9a4 100644 --- a/library/core/src/num/f32.rs +++ b/library/core/src/num/f32.rs @@ -688,7 +688,7 @@ impl f32 { /// - if `self` is [`MAX`] or [`INFINITY`], this returns [`INFINITY`]; /// - otherwise the unique least value greater than `self` is returned. /// - /// The identity `x.next_up() == -(-x).next_down()` holds for all `x`. When `x` + /// The identity `x.next_up() == -(-x).next_down()` holds for all non-NaN `x`. When `x` /// is finite `x == x.next_up().next_down()` also holds. /// /// ```rust @@ -738,7 +738,7 @@ impl f32 { /// - if `self` is [`MIN`] or [`NEG_INFINITY`], this returns [`NEG_INFINITY`]; /// - otherwise the unique greatest value less than `self` is returned. /// - /// The identity `x.next_down() == -(-x).next_up()` holds for all `x`. When `x` + /// The identity `x.next_down() == -(-x).next_up()` holds for all non-NaN `x`. When `x` /// is finite `x == x.next_down().next_up()` also holds. /// /// ```rust diff --git a/library/core/src/num/f64.rs b/library/core/src/num/f64.rs index 328b19b203c2..bf11ada4f622 100644 --- a/library/core/src/num/f64.rs +++ b/library/core/src/num/f64.rs @@ -698,7 +698,7 @@ impl f64 { /// - if `self` is [`MAX`] or [`INFINITY`], this returns [`INFINITY`]; /// - otherwise the unique least value greater than `self` is returned. /// - /// The identity `x.next_up() == -(-x).next_down()` holds for all `x`. When `x` + /// The identity `x.next_up() == -(-x).next_down()` holds for all non-NaN `x`. When `x` /// is finite `x == x.next_up().next_down()` also holds. /// /// ```rust @@ -748,7 +748,7 @@ impl f64 { /// - if `self` is [`MIN`] or [`NEG_INFINITY`], this returns [`NEG_INFINITY`]; /// - otherwise the unique greatest value less than `self` is returned. /// - /// The identity `x.next_down() == -(-x).next_up()` holds for all `x`. When `x` + /// The identity `x.next_down() == -(-x).next_up()` holds for all non-NaN `x`. When `x` /// is finite `x == x.next_down().next_up()` also holds. /// /// ```rust