[macros, std] Create macros for ISO/IEC 60559 and ISO/IEC/IEEE 9945.

As a side effect, this corrects the title of ISO/IEC 60559(:2020),
whose previous version was ISO/IEC/IEEE 60559:2011.

Author: tkoeppe

source/basic.tex

@@ -5229,9 +5229,9 @@
 the range of that type is extended to all positive real numbers.
 \begin{note}
 Since negative and positive infinity are representable
-in ISO/IEC/IEEE 60559 formats,
+in \IsoFloatUndated{} formats,
 all real numbers lie within the range of representable values of
-a floating-point type adhering to ISO/IEC/IEEE 60559.
+a floating-point type adhering to \IsoFloatUndated{}.
 \end{note}
 
 \pnum
@@ -5284,7 +5284,7 @@
 \pnum
 If the implementation supports an extended floating-point type\iref{basic.fundamental}
 whose properties are specified by
-the ISO/IEC/IEEE 60559 floating-point interchange format binary16,
+the \IsoFloatUndated{} floating-point interchange format binary16,
 then the \grammarterm{typedef-name} \tcode{std::float16_t}
 is defined in the header \libheaderref{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT16_T} is defined\iref{cpp.predefined}, and
@@ -5294,7 +5294,7 @@
 \pnum
 If the implementation supports an extended floating-point type
 whose properties are specified by
-the ISO/IEC/IEEE 60559 floating-point interchange format binary32,
+the \IsoFloatUndated{} floating-point interchange format binary32,
 then the \grammarterm{typedef-name} \tcode{std::float32_t}
 is defined in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT32_T} is defined, and
@@ -5303,7 +5303,7 @@
 \pnum
 If the implementation supports an extended floating-point type
 whose properties are specified by
-the ISO/IEC/IEEE 60559 floating-point interchange format binary64,
+the \IsoFloatUndated{} floating-point interchange format binary64,
 then the \grammarterm{typedef-name} \tcode{std::float64_t}
 is defined in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT64_T} is defined, and
@@ -5312,15 +5312,15 @@
 \pnum
 If the implementation supports an extended floating-point type
 whose properties are specified by
-the ISO/IEC/IEEE 60559 floating-point interchange format binary128,
+the \IsoFloatUndated{} floating-point interchange format binary128,
 then the \grammarterm{typedef-name} \tcode{std::float128_t}
 is defined in the header \libheader{stdfloat} and names such a type,
 the macro \mname{STDCPP_FLOAT128_T} is defined, and
 the floating-point literal suffixes \tcode{f128} and \tcode{F128} are supported.
 
 \pnum
 If the implementation supports an extended floating-point type
-with the properties, as specified by ISO/IEC/IEEE 60559, of
+with the properties, as specified by \IsoFloatUndated{}, of
 radix ($b$) of 2,
 storage width in bits ($k$) of 16,
 precision in bits ($p$) of 8,
@@ -5336,7 +5336,7 @@
 A summary of the parameters for each type is given in \tref{basic.extended.fp}.
 The precision $p$ includes the implicit 1 bit at the beginning of the significand,
 so the storage used for the significand is $p-1$ bits.
-ISO/IEC/IEEE 60559 does not assign a name for a type
+\IsoFloatUndated{} does not assign a name for a type
 having the parameters specified for \tcode{std::bfloat16_t}.
 \end{note}
 \begin{floattable}
@@ -5346,7 +5346,7 @@
 \chdr{\tcode{float64_t}} & \chdr{\tcode{float128_t}} &
 \rhdr{\tcode{bfloat16_t}} \\
 \capsep
-ISO/IEC/IEEE 60559 name & binary16 & binary32 & binary64 & binary128 & \\
+\IsoFloatUndated{} name & binary16 & binary32 & binary64 & binary128 & \\
 $k$, storage width in bits & 16 & 32 & 64 & 128 & 16 \\
 $p$, precision in bits & 11 & 24 & 53 & 113 & 8 \\
 $emax$, maximum exponent & 15 & 127 & 1023 & 16383 & 127 \\

source/intro.tex

@@ -36,18 +36,18 @@
 \item ISO/IEC 2382, \doccite{Information technology --- Vocabulary}
 \item ISO 8601-1:2019, \doccite{Date and time --- Representations for information interchange --- Part 1: Basic rules}
 \item \IsoC{}, \doccite{Information technology --- Programming languages --- C}
-\item ISO/IEC/IEEE 9945:2009, \doccite{Information Technology --- Portable Operating System Interface\begin{footnote}
+\item \IsoPosixUndated{}:2009, \doccite{Information Technology --- Portable Operating System Interface\begin{footnote}
 POSIX\textregistered\ is a registered trademark of
 the Institute of Electrical and Electronic Engineers, Inc.
 This information is given for the convenience of users of this document and
 does not constitute an endorsement by ISO or IEC of this product.
 \end{footnote}%
 (POSIX\textregistered) Base Specifications, Issue 7}
-\item ISO/IEC/IEEE 9945:2009/Cor 1:2013, \doccite{Information Technology --- Portable Operating System Interface
+\item \IsoPosixUndated{}:2009/Cor 1:2013, \doccite{Information Technology --- Portable Operating System Interface
 (POSIX\textregistered) Base Specifications, Issue 7 --- Technical Corrigendum 1}
-\item ISO/IEC/IEEE 9945:2009/Cor 2:2017, \doccite{Information Technology --- Portable Operating System Interface
+\item \IsoPosixUndated{}:2009/Cor 2:2017, \doccite{Information Technology --- Portable Operating System Interface
 (POSIX\textregistered) Base Specifications, Issue 7 --- Technical Corrigendum 2}
-\item ISO/IEC 60559:2020, \doccite{Information technology --- Microprocessor Systems --- Floating-Point arithmetic}
+\item \IsoFloatUndated{}:2020, \doccite{Information technology --- Microprocessor Systems --- Floating-Point arithmetic}
 \item ISO 80000-2:2019, \doccite{Quantities and units --- Part 2: Mathematics}
 % Other international standards.
 \item Ecma International, \doccite{ECMAScript

source/lib-intro.tex

@@ -46,7 +46,7 @@
 \end{floattable}
 
 \pnum
-The operating system interface described in ISO/IEC/IEEE 9945:2009 is
+The operating system interface described in \IsoPosixUndated{}:2009 is
 hereinafter called \defn{POSIX}.
 
 \pnum
@@ -2981,7 +2981,7 @@
 or to a namespace within namespace
 \tcode{posix}
 unless otherwise specified. The namespace \tcode{posix} is reserved for use by
-ISO/IEC/IEEE 9945 and other POSIX standards.
+\IsoPosixUndated{} and other POSIX standards.
 
 \rSec4[namespace.future]{Namespaces for future standardization}
 

source/macros.tex

@@ -286,6 +286,8 @@
 \newcommand{\CppXXVI}{\Cpp{} 2026}
 \newcommand{\IsoCUndated}{ISO/IEC 9899}
 \newcommand{\IsoC}{\IsoCUndated{}:2018}
+\newcommand{\IsoFloatUndated}{ISO/IEC 60559}
+\newcommand{\IsoPosixUndated}{ISO/IEC/IEEE 9945}
 \newcommand{\opt}[1]{#1\ensuremath{_\mathit{\color{black}opt}}}
 \newcommand{\bigoh}[1]{\ensuremath{\mathscr{O}(#1)}}
 

source/preprocessor.tex

@@ -1778,31 +1778,31 @@
 \mname{STDCPP_FLOAT16_T}\\
 Defined as the integer literal \tcode{1}
 if and only if the implementation supports
-the ISO/IEC/IEEE 60559 floating-point interchange format binary16
+the \IsoFloatUndated{} floating-point interchange format binary16
 as an extended floating-point type\iref{basic.extended.fp}.
 
 \item
 \indextext{__stdcpp_float32_t__@\mname{STDCPP_FLOAT32_T}}%
 \mname{STDCPP_FLOAT32_T}\\
 Defined as the integer literal \tcode{1}
 if and only if the implementation supports
-the ISO/IEC/IEEE 60559 floating-point interchange format binary32
+the \IsoFloatUndated{} floating-point interchange format binary32
 as an extended floating-point type.
 
 \item
 \indextext{__stdcpp_float64_t__@\mname{STDCPP_FLOAT64_T}}%
 \mname{STDCPP_FLOAT64_T}\\
 Defined as the integer literal \tcode{1}
 if and only if the implementation supports
-the ISO/IEC/IEEE 60559 floating-point interchange format binary64
+the \IsoFloatUndated{} floating-point interchange format binary64
 as an extended floating-point type.
 
 \item
 \indextext{__stdcpp_float128_t__@\mname{STDCPP_FLOAT128_T}}%
 \mname{STDCPP_FLOAT128_T}\\
 Defined as the integer literal \tcode{1}
 if and only if the implementation supports
-the ISO/IEC/IEEE 60559 floating-point interchange format binary128
+the \IsoFloatUndated{} floating-point interchange format binary128
 as an extended floating-point type.
 
 \item

source/support.tex

@@ -1454,9 +1454,9 @@
 
 \begin{itemdescr}
 \pnum
-\tcode{true} if and only if the type adheres to ISO/IEC/IEEE 60559.
+\tcode{true} if and only if the type adheres to \IsoFloatUndated{}.
 \begin{footnote}
-ISO/IEC/IEEE 60559:2020 is the same as IEEE 754-2019.
+\IsoFloatUndated{}:2020 is the same as IEEE 754-2019.
 \end{footnote}
 \begin{note}
 The value is \tcode{true} for any of the types
@@ -1544,7 +1544,7 @@
 if tinyness is detected before rounding.
 \begin{footnote}
 Refer to
-ISO/IEC/IEEE 60559.
+\IsoFloatUndated{}.
 Required by ISO/IEC 10967-1:2012.
 \end{footnote}
 
@@ -4945,7 +4945,7 @@
   observed by \tcode{T}'s comparison operators, and
   if \tcode{numeric_limits<T>::is_iec559} is \tcode{true},
   is additionally consistent with the \tcode{totalOrder} operation
-  as specified in ISO/IEC/IEEE 60559.
+  as specified in \IsoFloatUndated{}.
 \item
   Otherwise, \tcode{strong_ordering(compare_three_way()(E, F))}
   if it is a well-formed expression.

source/threads.tex

@@ -4140,7 +4140,7 @@
 operations apply, the comparisons can fail for values that compare equal with
 \tcode{operator==} if the value representation has trap bits or alternate
 representations of the same value. Notably, on implementations conforming to
-ISO/IEC/IEEE 60559, floating-point \tcode{-0.0} and \tcode{+0.0}
+\IsoFloatUndated{}, floating-point \tcode{-0.0} and \tcode{+0.0}
 will not compare equal with \tcode{memcmp} but will compare equal with \tcode{operator==},
 and NaNs with the same payload will compare equal with \tcode{memcmp} but will not
 compare equal with \tcode{operator==}.