From e3b23087d223c50f5e0e77964576eedbf1d26459 Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukas.wirth@ferrous-systems.com>
Date: Thu, 31 Oct 2024 15:12:13 +0100
Subject: [PATCH] Specify #129559 changes

---
 src/changelog.rst        | 2 ++
 src/types-and-traits.rst | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/src/changelog.rst b/src/changelog.rst
index bf49d8af..a595e94f 100644
--- a/src/changelog.rst
+++ b/src/changelog.rst
@@ -76,6 +76,8 @@ Language changes in Rust 1.82.0
 
 * `Document NaN bit patterns guarantees <https://github.com/rust-lang/rust/pull/129559>`_
 
+  * New paragraph: :p:`fls_nuFAwLHOdQBx`
+
 Language changes in Rust 1.81.0
 -------------------------------
 
diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst
index b715762e..144d59b4 100644
--- a/src/types-and-traits.rst
+++ b/src/types-and-traits.rst
@@ -379,6 +379,11 @@ Floating Point Types
 :dp:`fls_yqflrq9s6p6n`
 :t:`Type` :c:`f64` is equivalent to the IEEE 754-2008 binary64 :t:`type`.
 
+.. rubric:: Dynamic Semantics
+
+:dp:`fls_nuFAwLHOdQBx`
+Operations on values of :t:`floating point types` may not preserve the sign bit in case of the value being a IEEE floating-point ``NaN``.
+
 .. _fls_3qnpv2z7yjil:
 
 Integer Types