Say that the identity holds only for all finite numbers (aka not NaN)

Author: Urgau

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

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