From 0e5f31e969a58bcfa2b268a8318aafab8a546a88 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Wed, 22 Feb 2023 16:29:57 +0100 Subject: [PATCH] [spec] Clarifying note about canonical NaNs --- document/core/syntax/values.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/document/core/syntax/values.rst b/document/core/syntax/values.rst index 564ddc2d66..1b155df42c 100644 --- a/document/core/syntax/values.rst +++ b/document/core/syntax/values.rst @@ -140,6 +140,8 @@ An *arithmetic NaN* is a floating-point value :math:`\pm\NAN(n)` with :math:`n .. note:: In the abstract syntax, subnormals are distinguished by the leading 0 of the significand. The exponent of subnormals has the same value as the smallest possible exponent of a normal number. Only in the :ref:`binary representation ` the exponent of a subnormal is encoded differently than the exponent of any normal number. + The notion of canonical NaN defined here is unrelated to the notion of canonical NaN that the |IEEE754|_ standard (Section 3.5.2) defines for decimal interchange formats. + Conventions ...........