[basic.fundamental] Exhaustively list what values can be represented by floating-point types

Author: eisenwave

source/basic.tex

@@ -5559,6 +5559,21 @@
 the object and value representations and accuracy of operations
 of floating-point types are \impldef{representation of floating-point types}.
 
+\pnum
+A floating-point type shall at least represent a subset of rational numbers.
+Depending on the implementation-defined value representation for the type,
+it may additionally represent the finite value negative zero,
+as well as the non-finite values
+\begin{itemize}
+\item negative and positive infinity,
+\item a set of negative and positive quiet ``Not a Number'' values, and
+\item a set of negative and positive signaling ``Not a Number'' values.
+\end{itemize}
+\begin{note}
+A floating-point type which adheres to \IsoFloatUndated{}
+is capable of representing all of the above\iref{numeric.limits.members}.
+\end{note}
+
 \pnum
 The minimum range of representable values for a floating-point type is
 the most negative finite floating-point number representable