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

Files changed (1) hide show

tmp/tmpz987fn5i/{from.md → to.md} +22 -36

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

@@ -178,96 +178,82 @@ Number”.[^17]
 Meaningful for all floating-point types.
 Shall be `true` for all specializations in which `is_iec559 != false`.
-``` cpp
-static constexpr float_denorm_style has_denorm;
-```
-`denorm_present` if the type allows subnormal values (variable number of
-exponent bits)[^18], `denorm_absent` if the type does not allow
-subnormal values, and `denorm_indeterminate` if it is indeterminate at
-compile time whether the type allows subnormal values.
-Meaningful for all floating-point types.
-``` cpp
-static constexpr bool has_denorm_loss;
-```
-`true` if loss of accuracy is detected as a denormalization loss, rather
-than as an inexact result.[^19]
 ``` cpp
 static constexpr T infinity() noexcept;
 ```
-Representation of positive infinity, if available.[^20]
 Meaningful for all specializations for which `has_infinity != false`.
 Required in specializations for which `is_iec559 != false`.
 ``` cpp
 static constexpr T quiet_NaN() noexcept;
 ```
-Representation of a quiet “Not a Number”, if available.[^21]
 Meaningful for all specializations for which `has_quiet_NaN != false`.
 Required in specializations for which `is_iec559 != false`.
 ``` cpp
 static constexpr T signaling_NaN() noexcept;
 ```
-Representation of a signaling “Not a Number”, if available.[^22]
 Meaningful for all specializations for which
 `has_signaling_NaN != false`. Required in specializations for which
 `is_iec559 != false`.
 ``` cpp
 static constexpr T denorm_min() noexcept;
 ```
-Minimum positive subnormal value.[^23]
 Meaningful for all floating-point types.
-In specializations for which `has_denorm == false`, returns the minimum
-positive normalized value.
 ``` cpp
 static constexpr bool is_iec559;
 ```
-`true` if and only if the type adheres to ISO/IEC/IEEE 60559.[^24]
 Meaningful for all floating-point types.
 ``` cpp
 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.
 ``` cpp
 static constexpr bool is_modulo;
 ```
-`true` if the type is modulo.[^26] A type is modulo if, for any
-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 document, defines signed integer overflow to
 wrap. — *end example*]
@@ -277,26 +263,26 @@ 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;
 ```
-`true` if tinyness is detected before rounding.[^28]
 Meaningful for all floating-point types.
 ``` cpp
 static constexpr float_round_style round_style;
 ```
-The rounding style for the type.[^29]
 Meaningful for all floating-point types. Specializations for integer
 types shall return `round_toward_zero`.

 Meaningful for all floating-point types.
 Shall be `true` for all specializations in which `is_iec559 != false`.
 ``` cpp
 static constexpr T infinity() noexcept;
 ```
+Representation of positive infinity, if available.[^18]
 Meaningful for all specializations for which `has_infinity != false`.
 Required in specializations for which `is_iec559 != false`.
 ``` cpp
 static constexpr T quiet_NaN() noexcept;
 ```
+Representation of a quiet “Not a Number”, if available.[^19]
 Meaningful for all specializations for which `has_quiet_NaN != false`.
 Required in specializations for which `is_iec559 != false`.
 ``` cpp
 static constexpr T signaling_NaN() noexcept;
 ```
+Representation of a signaling “Not a Number”, if available.[^20]
 Meaningful for all specializations for which
 `has_signaling_NaN != false`. Required in specializations for which
 `is_iec559 != false`.
 ``` cpp
 static constexpr T denorm_min() noexcept;
 ```
+Minimum positive subnormal value, if available.[^21]
+Otherwise, minimum positive normalized value.
 Meaningful for all floating-point types.
 ``` cpp
 static constexpr bool is_iec559;
 ```
+`true` if and only if the type adheres to ISO/IEC/IEEE 60559.[^22]
+[*Note 1*: The value is `true` for any of the types `float16_t`,
+`float32_t`, `float64_t`, or `float128_t`, if
+present [[basic.extended.fp]]. — *end note*]
 Meaningful for all floating-point types.
 ``` cpp
 static constexpr bool is_bounded;
 ```
+`true` if the set of values representable by the type is finite.[^23]
+[*Note 2*: All fundamental types [[basic.fundamental]] are bounded.
 This member would be `false` for arbitrary precision
 types. — *end note*]
 Meaningful for all specializations.
 ``` cpp
 static constexpr bool is_modulo;
 ```
+`true` if the type is modulo.[^24]
+A type is modulo if, for any 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 document, defines signed integer overflow to
 wrap. — *end example*]
 ``` 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.[^25]
 Meaningful for all specializations.
 ``` cpp
 static constexpr bool tinyness_before;
 ```
+`true` if tinyness is detected before rounding.[^26]
 Meaningful for all floating-point types.
 ``` cpp
 static constexpr float_round_style round_style;
 ```
+The rounding style for the type.[^27]
 Meaningful for all floating-point types. Specializations for integer
 types shall return `round_toward_zero`.

Diff to HTML by rtfpessoa