[support.limits] Rearrange section 'Implementation properties'

 - Change order of subsections.
 - Remove [limits] and [c.limits] subsection headings.
 - Move descriptions of numeric_limits members and specializations as
   subsections under the description of the primary class template.
 - Add sectioning comments to the <limits> synopsis.

Fixes #785.

Author: jensmaurer

source/basic.tex

@@ -3849,7 +3849,7 @@
 \indextext{floating point type!implementation-defined}%
 \begin{note}
 This International Standard imposes no requirements on the accuracy of
-floating-point operations; see also~\ref{limits}. 
+floating-point operations; see also~\ref{support.limits}. 
 \end{note}
 Integral and floating types are collectively
 called \defnx{arithmetic}{type!arithmetic} types.

source/iostreams.tex

@@ -5234,7 +5234,7 @@
 Characters are extracted until any of the following occurs:
 \begin{itemize}
 \item
-\tcode{n != numeric_limits<streamsize>::max()}~(\ref{limits})
+\tcode{n != numeric_limits<streamsize>::max()}~(\ref{numeric.limits})
 and
 \tcode{n} characters have been extracted so far
 \item

source/support.tex

@@ -306,54 +306,17 @@
 
 \rSec1[support.limits]{Implementation properties}
 
-\rSec2[support.limits.general]{In general}
+\rSec2[support.limits.general]{General}
 
 \pnum
 The headers
-\tcode{<limits>}~(\ref{limits}),
+\tcode{<limits>}~(\ref{limits.syn}),
 \tcode{<climits>}~(\ref{climits.syn}), and
 \tcode{<cfloat>}~(\ref{cfloat.syn})
 supply characteristics of implementation-dependent
 arithmetic types~(\ref{basic.fundamental}).
 
-\rSec2[limits]{Numeric limits}
-
-\rSec3[limits.numeric]{Class template \tcode{numeric_limits}}
-
-\pnum
-The
-\indexlibrary{\idxcode{numeric_limits}}%
-\tcode{numeric_limits}
-class template provides a \Cpp program with information about various properties of
-the implementation's representation of the
-arithmetic types.
-
-\pnum
-Specializations shall be provided for each
-arithmetic type,
-both floating-point and integer, including
-\tcode{bool}.
-The member
-\tcode{is_specialized}
-shall be
-\tcode{true}
-for all such specializations of
-\tcode{numeric_limits}.
-
-\pnum
-For all members declared
-\tcode{static} \tcode{constexpr}
-in the
-\tcode{numeric_limits}
-template, specializations shall define these values in such a way
-that they are usable as
-constant expressions.
-
-\pnum
-Non-arithmetic standard types, such as
-\tcode{complex<T>}~(\ref{complex}), shall not have specializations.
-
-\rSec3[limits.syn]{Header \tcode{<limits>} synopsis}
+\rSec2[limits.syn]{Header \tcode{<limits>} synopsis}
 \indextext{\idxhdr{limits}}%
 \indexlibrary{\idxhdr{limits}}%
 \indextext{\idxcode{numeric_limits}}%
@@ -363,10 +326,13 @@
 
 \begin{codeblock}
 namespace std {
-  template<class T> class numeric_limits;
+  // \ref{fp.style}, floating-point type properties
   enum float_round_style;
   enum float_denorm_style;
 
+  // \ref{numeric.limits}, class template numeric_limits
+  template<class T> class numeric_limits;
+
   template<> class numeric_limits<bool>;
 
   template<> class numeric_limits<char>;
@@ -391,7 +357,95 @@
 }
 \end{codeblock}
 
-\rSec3[numeric.limits]{Class template \tcode{numeric_limits}}
+\rSec2[fp.style]{Floating-point type properties}
+
+\rSec3[round.style]{Type \tcode{float_round_style}}
+
+\indexlibrary{\idxcode{float_round_style}}%
+\begin{codeblock}
+namespace std {
+  enum float_round_style {
+    round_indeterminate       = -1,
+    round_toward_zero         =  0,
+    round_to_nearest          =  1,
+    round_toward_infinity     =  2,
+    round_toward_neg_infinity =  3
+  };
+}
+\end{codeblock}
+
+\pnum
+The rounding mode for floating-point arithmetic is characterized by the
+values:
+
+\begin{itemize}
+\item
+\indexlibrary{\idxcode{round_indeterminate}}%
+\tcode{round_indeterminate}
+if the rounding style is indeterminable
+\item
+\indexlibrary{\idxcode{round_toward_zero}}%
+\tcode{round_toward_zero}
+if the rounding style is toward zero
+\item
+\indexlibrary{\idxcode{round_to_nearest}}%
+\tcode{round_to_nearest}
+if the rounding style is to the nearest representable value
+\item
+\indexlibrary{\idxcode{round_toward_infinity}}%
+\tcode{round_toward_infinity}
+if the rounding style is toward infinity
+\item
+\indexlibrary{\idxcode{round_toward_neg_infinity}}%
+\tcode{round_toward_neg_infinity}
+if the rounding style is toward negative infinity
+\end{itemize}
+
+\rSec3[denorm.style]{Type \tcode{float_denorm_style}}
+
+\indexlibrary{\idxcode{float_denorm_style}}%
+\begin{codeblock}
+namespace std {
+  enum float_denorm_style {
+    denorm_indeterminate = -1,
+    denorm_absent = 0,
+    denorm_present = 1
+  };
+}
+\end{codeblock}
+
+\indextext{denormalized value|see{number, subnormal}}%
+\indextext{value!denormalized|see{number, subnormal}}%
+\indextext{subnormal number|see{number, subnormal}}%
+\indextext{number!subnormal}%
+\pnum
+The presence or absence of subnormal numbers (variable number of exponent bits)
+is characterized by the values:
+
+\begin{itemize}
+\item
+\indexlibrary{\idxcode{denorm_indeterminate}}%
+\tcode{denorm_indeterminate}
+if it cannot be determined whether or not the type allows subnormal values
+\item
+\indexlibrary{\idxcode{denorm_absent}}%
+\tcode{denorm_absent}
+if the type does not allow subnormal values
+\item
+\indexlibrary{\idxcode{denorm_present}}%
+\tcode{denorm_present}
+if the type does allow subnormal values
+\end{itemize}
+
+\rSec2[numeric.limits]{Class template \tcode{numeric_limits}}
+
+\pnum
+The
+\indexlibrary{\idxcode{numeric_limits}}%
+\tcode{numeric_limits}
+class template provides a \Cpp program with information about various properties of
+the implementation's representation of the
+arithmetic types.
 
 \indexlibrary{\idxcode{numeric_limits}}%
 \begin{codeblock}
@@ -443,19 +497,44 @@
 }
 \end{codeblock}
 
+\pnum
+For all members declared
+\tcode{static} \tcode{constexpr}
+in the
+\tcode{numeric_limits}
+template, specializations shall define these values in such a way
+that they are usable as
+constant expressions.
+
 \pnum
 The default
 \tcode{numeric_limits<T>}
 template shall have all members, but with 0 or
 \tcode{false}
 values.
 
+\pnum
+Specializations shall be provided for each
+arithmetic type,
+both floating-point and integer, including
+\tcode{bool}.
+The member
+\tcode{is_specialized}
+shall be
+\tcode{true}
+for all such specializations of
+\tcode{numeric_limits}.
+
 \pnum
 The value of each member of a specialization of
 \tcode{numeric_limits} on a cv-qualified type
 \tcode{cv T} shall be equal to the value of the corresponding member of
 the specialization on the unqualified type \tcode{T}.
 
+\pnum
+Non-arithmetic standard types, such as
+\tcode{complex<T>}~(\ref{complex}), shall not have specializations.
+
 \rSec3[numeric.limits.members]{\tcode{numeric_limits} members}
 
 \indexlibrarymember{min}{numeric_limits}%
@@ -969,84 +1048,6 @@
 \tcode{round_toward_zero}.
 \end{itemdescr}
 
-\rSec3[round.style]{Type \tcode{float_round_style}}
-
-\indexlibrary{\idxcode{float_round_style}}%
-\begin{codeblock}
-namespace std {
-  enum float_round_style {
-    round_indeterminate       = -1,
-    round_toward_zero         =  0,
-    round_to_nearest          =  1,
-    round_toward_infinity     =  2,
-    round_toward_neg_infinity =  3
-  };
-}
-\end{codeblock}
-
-\pnum
-The rounding mode for floating-point arithmetic is characterized by the
-values:
-
-\begin{itemize}
-\item
-\indexlibrary{\idxcode{round_indeterminate}}%
-\tcode{round_indeterminate}
-if the rounding style is indeterminable
-\item
-\indexlibrary{\idxcode{round_toward_zero}}%
-\tcode{round_toward_zero}
-if the rounding style is toward zero
-\item
-\indexlibrary{\idxcode{round_to_nearest}}%
-\tcode{round_to_nearest}
-if the rounding style is to the nearest representable value
-\item
-\indexlibrary{\idxcode{round_toward_infinity}}%
-\tcode{round_toward_infinity}
-if the rounding style is toward infinity
-\item
-\indexlibrary{\idxcode{round_toward_neg_infinity}}%
-\tcode{round_toward_neg_infinity}
-if the rounding style is toward negative infinity
-\end{itemize}
-
-\rSec3[denorm.style]{Type \tcode{float_denorm_style}}
-
-\indexlibrary{\idxcode{float_denorm_style}}%
-\begin{codeblock}
-namespace std {
-  enum float_denorm_style {
-    denorm_indeterminate = -1,
-    denorm_absent = 0,
-    denorm_present = 1
-  };
-}
-\end{codeblock}
-
-\indextext{denormalized value|see{number, subnormal}}%
-\indextext{value!denormalized|see{number, subnormal}}%
-\indextext{subnormal number|see{number, subnormal}}%
-\indextext{number!subnormal}%
-\pnum
-The presence or absence of subnormal numbers (variable number of exponent bits)
-is characterized by the values:
-
-\begin{itemize}
-\item
-\indexlibrary{\idxcode{denorm_indeterminate}}%
-\tcode{denorm_indeterminate}
-if it cannot be determined whether or not the type allows subnormal values
-\item
-\indexlibrary{\idxcode{denorm_absent}}%
-\tcode{denorm_absent}
-if the type does not allow subnormal values
-\item
-\indexlibrary{\idxcode{denorm_present}}%
-\tcode{denorm_present}
-if the type does allow subnormal values
-\end{itemize}
-
 \rSec3[numeric.special]{\tcode{numeric_limits} specializations}
 
 \pnum
@@ -1165,9 +1166,7 @@
 }
 \end{codeblock}
 
-\rSec2[c.limits]{C library}
-
-\rSec3[climits.syn]{Header \tcode{<climits>} synopsis}
+\rSec2[climits.syn]{Header \tcode{<climits>} synopsis}
 
 \indexlibrary{\idxcode{CHAR_BIT}}%
 \indexlibrary{\idxcode{SCHAR_MIN}}%
@@ -1220,7 +1219,7 @@
 
 \xref ISO C 5.2.4.2.1
 
-\rSec3[cfloat.syn]{Header \tcode{<cfloat>} synopsis}
+\rSec2[cfloat.syn]{Header \tcode{<cfloat>} synopsis}
 
 \indexlibrary{\idxcode{DBL_DECIMAL_DIG}}%
 \indexlibrary{\idxcode{DBL_DIG}}%