[numeric.limits.members] - C++17 → C++20

Files changed (1) hide show

tmp/tmpaib3m01l/{from.md → to.md} +10 -10

tmp/tmpaib3m01l/{from.md → to.md} RENAMED Viewed

@@ -1,18 +1,18 @@
 #### `numeric_limits` members <a id="numeric.limits.members">[[numeric.limits.members]]</a>
-Each member function defined in this subclause is signal-safe (
-[[csignal.syn]]).
 ``` cpp
 static constexpr T min() noexcept;
 ```
 Minimum finite value.[^3]
-For floating types with subnormal numbers, returns the minimum positive
-normalized value.
 Meaningful for all specializations in which `is_bounded != false`, or
 `is_bounded == false && is_signed == false`.
 ``` cpp
@@ -88,11 +88,11 @@ Meaningful for all specializations.
 ``` cpp
 static constexpr int radix;
 ```
-For floating types, specifies the base or radix of the exponent
 representation (often 2).[^8]
 For integer types, specifies the base of the representation.[^9]
 Meaningful for all specializations.
@@ -249,11 +249,11 @@ Meaningful for all floating-point types.
 static constexpr bool is_bounded;
 ```
 `true` if the set of values representable by the type is finite.[^25]
-[*Note 1*: All fundamental types ([[basic.fundamental]]) are bounded.
 This member would be `false` for arbitrary precision
 types. — *end note*]
 Meaningful for all specializations.
@@ -266,22 +266,22 @@ operation involving `+`, `-`, or `*` on values of that type whose result
 would fall outside the range \[`min()`, `max()`\], the value returned
 differs from the true value by an integer multiple of
 `max() - min() + 1`.
 [*Example 1*: `is_modulo` is `false` for signed integer
-types ([[basic.fundamental]]) unless an implementation, as an extension
-to this International Standard, defines signed integer overflow to
 wrap. — *end example*]
 Meaningful for all specializations.
 ``` cpp
 static constexpr bool traps;
 ```
-`true` if, at program startup, there exists a value of the type that
-would cause an arithmetic operation using that value to trap.[^27]
 Meaningful for all specializations.
 ``` cpp
 static constexpr bool tinyness_before;

 #### `numeric_limits` members <a id="numeric.limits.members">[[numeric.limits.members]]</a>
+Each member function defined in this subclause is signal-safe
+[[support.signal]].
 ``` cpp
 static constexpr T min() noexcept;
 ```
 Minimum finite value.[^3]
+For floating-point types with subnormal numbers, returns the minimum
+positive normalized value.
 Meaningful for all specializations in which `is_bounded != false`, or
 `is_bounded == false && is_signed == false`.
 ``` cpp
 ``` cpp
 static constexpr int radix;
 ```
+For floating-point types, specifies the base or radix of the exponent
 representation (often 2).[^8]
 For integer types, specifies the base of the representation.[^9]
 Meaningful for all specializations.
 static constexpr bool is_bounded;
 ```
 `true` if the set of values representable by the type is finite.[^25]
+[*Note 1*: All fundamental types [[basic.fundamental]] are bounded.
 This member would be `false` for arbitrary precision
 types. — *end note*]
 Meaningful for all specializations.
 would fall outside the range \[`min()`, `max()`\], the value returned
 differs from the true value by an integer multiple of
 `max() - min() + 1`.
 [*Example 1*: `is_modulo` is `false` for signed integer
+types [[basic.fundamental]] unless an implementation, as an extension to
+this document, defines signed integer overflow to
 wrap. — *end example*]
 Meaningful for all specializations.
 ``` cpp
 static constexpr bool traps;
 ```
+`true` if, at the start of the program, there exists a value of the type
+that would cause an arithmetic operation using that value to trap.[^27]
 Meaningful for all specializations.
 ``` cpp
 static constexpr bool tinyness_before;

Diff to HTML by rtfpessoa