```
static constexpr T min() noexcept;
```

Meaningful for all specializations in which is_bounded != false, or is_bounded == false && is_signed == false.

```
static constexpr T max() noexcept;
```

```
static constexpr T lowest() noexcept;
```

```
static constexpr int digits;
```

```
static constexpr int digits10;
```

```
static constexpr int max_digits10;
```

```
static constexpr bool is_signed;
```

```
static constexpr bool is_integer;
```

```
static constexpr bool is_exact;
```

true if the type uses an exact representation. All integer types are exact, but not all exact types are integer. For example, rational and fixed-exponent representations are exact but not integer.

```
static constexpr int radix;
```

```
static constexpr T epsilon() noexcept;
```

```
static constexpr T round_error() noexcept;
```

```
static constexpr int min_exponent;
```

```
static constexpr int min_exponent10;
```

```
static constexpr int max_exponent;
```

```
static constexpr int max_exponent10;
```

```
static constexpr bool has_infinity;
```

```
static constexpr bool has_quiet_NaN;
```

```
static constexpr bool has_signaling_NaN;
```

```
static constexpr float_denorm_style has_denorm;
```

```
static constexpr bool has_denorm_loss;
```

```
static constexpr T infinity() noexcept;
```

Meaningful for all specializations for which has_infinity != false. Required in specializations for which is_iec559 != false.

```
static constexpr T quiet_NaN() noexcept;
```

Meaningful for all specializations for which has_quiet_NaN != false. Required in specializations for which is_iec559 != false.

```
static constexpr T signaling_NaN() noexcept;
```

Meaningful for all specializations for which has_signaling_NaN != false. Required in specializations for which is_iec559 != false.

```
static constexpr T denorm_min() noexcept;
```

In specializations for which has_denorm == false, returns the minimum positive normalized value.

```
static constexpr bool is_iec559;
```

```
static constexpr bool is_bounded;
```

true if the set of values representable by the type is finite.210 [ Note: All fundamental types ([basic.fundamental]) are bounded. This member would be false for arbitrary precision types. — end note ]

```
static constexpr bool is_modulo;
```

[ Example: 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 ]

```
static constexpr bool traps;
```

```
static constexpr bool tinyness_before;
```

```
static constexpr float_round_style round_style;
```

Meaningful for all floating-point types. Specializations for integer types shall return round_toward_zero.

Equivalent to CHAR_MIN, SHRT_MIN, FLT_MIN, DBL_MIN, etc.

Equivalent to CHAR_MAX, SHRT_MAX, FLT_MAX, DBL_MAX, etc.

lowest() is necessary because not all floating-point representations have a smallest (most negative) value that is the negative of the largest (most positive) finite value.

Equivalent to FLT_MANT_DIG, DBL_MANT_DIG, LDBL_MANT_DIG.

Equivalent to FLT_DIG, DBL_DIG, LDBL_DIG.

Equivalent to FLT_RADIX.

Distinguishes types with bases other than 2 (e.g. BCD).

Equivalent to FLT_EPSILON, DBL_EPSILON, LDBL_EPSILON.

Rounding error is described in LIA-1 Section 5.2.4 and Annex C Rationale Section C.5.2.4 — Rounding and rounding constants.

Equivalent to FLT_MIN_EXP, DBL_MIN_EXP, LDBL_MIN_EXP.

Equivalent to FLT_MIN_10_EXP, DBL_MIN_10_EXP, LDBL_MIN_10_EXP.

Equivalent to FLT_MAX_EXP, DBL_MAX_EXP, LDBL_MAX_EXP.

Equivalent to FLT_MAX_10_EXP, DBL_MAX_10_EXP, LDBL_MAX_10_EXP.

Required by LIA-1.

Required by LIA-1.

Required by LIA-1.

See ISO/IEC/IEEE 60559.

Required by LIA-1.

Required by LIA-1.

Required by LIA-1.

Required by LIA-1.

ISO/IEC/IEEE 60559:2011 is the same as IEEE 754-2008.

Required by LIA-1.

Required by LIA-1.

Required by LIA-1.

Refer to ISO/IEC/IEEE 60559. Required by LIA-1.

Equivalent to FLT_ROUNDS. Required by LIA-1.