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

```
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;
```

```
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 T infinity() noexcept;
```

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

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

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

```
static constexpr bool is_iec559;
```

```
static constexpr bool is_bounded;
```

```
static constexpr bool is_modulo;
```

[*Example 1*: *end example*]

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.

β ```
static constexpr bool traps;
```

```
static constexpr bool tinyness_before;
```

```
static constexpr float_round_style round_style;
```