libcxx/include/limits

   1 // -*- C++ -*-
   2 //===----------------------------------------------------------------------===//
   3 //
   4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   5 // See https://llvm.org/LICENSE.txt for license information.
   6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 #ifndef _LIBCPP_LIMITS
  11 #define _LIBCPP_LIMITS
  12
  13 /*
  14     limits synopsis
  15
  16 namespace std
  17 {
  18
  19 template<class T>
  20 class numeric_limits
  21 {
  22 public:
  23     static constexpr bool is_specialized = false;
  24     static constexpr T min() noexcept;
  25     static constexpr T max() noexcept;
  26     static constexpr T lowest() noexcept;
  27
  28     static constexpr int  digits = 0;
  29     static constexpr int  digits10 = 0;
  30     static constexpr int  max_digits10 = 0;
  31     static constexpr bool is_signed = false;
  32     static constexpr bool is_integer = false;
  33     static constexpr bool is_exact = false;
  34     static constexpr int  radix = 0;
  35     static constexpr T epsilon() noexcept;
  36     static constexpr T round_error() noexcept;
  37
  38     static constexpr int  min_exponent = 0;
  39     static constexpr int  min_exponent10 = 0;
  40     static constexpr int  max_exponent = 0;
  41     static constexpr int  max_exponent10 = 0;
  42
  43     static constexpr bool has_infinity = false;
  44     static constexpr bool has_quiet_NaN = false;
  45     static constexpr bool has_signaling_NaN = false;
  46     static constexpr float_denorm_style has_denorm = denorm_absent; // deprecated in C++23
  47     static constexpr bool has_denorm_loss = false;                  // deprecated in C++23
  48     static constexpr T infinity() noexcept;
  49     static constexpr T quiet_NaN() noexcept;
  50     static constexpr T signaling_NaN() noexcept;
  51     static constexpr T denorm_min() noexcept;
  52
  53     static constexpr bool is_iec559 = false;
  54     static constexpr bool is_bounded = false;
  55     static constexpr bool is_modulo = false;
  56
  57     static constexpr bool traps = false;
  58     static constexpr bool tinyness_before = false;
  59     static constexpr float_round_style round_style = round_toward_zero;
  60 };
  61
  62 enum float_round_style
  63 {
  64     round_indeterminate       = -1,
  65     round_toward_zero         =  0,
  66     round_to_nearest          =  1,
  67     round_toward_infinity     =  2,
  68     round_toward_neg_infinity =  3
  69 };
  70
  71 enum float_denorm_style // deprecated in C++23
  72 {
  73     denorm_indeterminate = -1,
  74     denorm_absent = 0,
  75     denorm_present = 1
  76 };
  77
  78 template<> class numeric_limits<cv bool>;
  79
  80 template<> class numeric_limits<cv char>;
  81 template<> class numeric_limits<cv signed char>;
  82 template<> class numeric_limits<cv unsigned char>;
  83 template<> class numeric_limits<cv wchar_t>;
  84 template<> class numeric_limits<cv char8_t>; // C++20
  85 template<> class numeric_limits<cv char16_t>;
  86 template<> class numeric_limits<cv char32_t>;
  87
  88 template<> class numeric_limits<cv short>;
  89 template<> class numeric_limits<cv int>;
  90 template<> class numeric_limits<cv long>;
  91 template<> class numeric_limits<cv long long>;
  92 template<> class numeric_limits<cv unsigned short>;
  93 template<> class numeric_limits<cv unsigned int>;
  94 template<> class numeric_limits<cv unsigned long>;
  95 template<> class numeric_limits<cv unsigned long long>;
  96
  97 template<> class numeric_limits<cv float>;
  98 template<> class numeric_limits<cv double>;
  99 template<> class numeric_limits<cv long double>;
 100
 101 }  // std
 102
 103 */
 104
 105 #include <__assert> // all public C++ headers provide the assertion handler
 106 #include <__config>
 107 #include <__type_traits/is_arithmetic.h>
 108 #include <__type_traits/is_signed.h>
 109 #include <__type_traits/remove_cv.h>
 110
 111 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
 112 #  pragma GCC system_header
 113 #endif
 114
 115 _LIBCPP_PUSH_MACROS
 116 #include <__undef_macros>
 117 #include <version>
 118
 119
 120 _LIBCPP_BEGIN_NAMESPACE_STD
 121
 122 enum float_round_style
 123 {
 124     round_indeterminate       = -1,
 125     round_toward_zero         =  0,
 126     round_to_nearest          =  1,
 127     round_toward_infinity     =  2,
 128     round_toward_neg_infinity =  3
 129 };
 130
 131 enum _LIBCPP_DEPRECATED_IN_CXX23 float_denorm_style
 132 {
 133     denorm_indeterminate = -1,
 134     denorm_absent = 0,
 135     denorm_present = 1
 136 };
 137
 138 template <class _Tp, bool = is_arithmetic<_Tp>::value>
 139 class __libcpp_numeric_limits
 140 {
 141 protected:
 142     typedef _Tp type;
 143
 144     static _LIBCPP_CONSTEXPR const  bool is_specialized = false;
 145     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return type();}
 146     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return type();}
 147     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return type();}
 148
 149     static _LIBCPP_CONSTEXPR const int  digits = 0;
 150     static _LIBCPP_CONSTEXPR const int  digits10 = 0;
 151     static _LIBCPP_CONSTEXPR const int  max_digits10 = 0;
 152     static _LIBCPP_CONSTEXPR const bool is_signed = false;
 153     static _LIBCPP_CONSTEXPR const bool is_integer = false;
 154     static _LIBCPP_CONSTEXPR const bool is_exact = false;
 155     static _LIBCPP_CONSTEXPR const int  radix = 0;
 156     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type();}
 157     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type();}
 158
 159     static _LIBCPP_CONSTEXPR const int  min_exponent = 0;
 160     static _LIBCPP_CONSTEXPR const int  min_exponent10 = 0;
 161     static _LIBCPP_CONSTEXPR const int  max_exponent = 0;
 162     static _LIBCPP_CONSTEXPR const int  max_exponent10 = 0;
 163
 164     static _LIBCPP_CONSTEXPR const bool has_infinity = false;
 165     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
 166     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
 167     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
 168     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
 169     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type();}
 170     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type();}
 171     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type();}
 172     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type();}
 173
 174     static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
 175     static _LIBCPP_CONSTEXPR const bool is_bounded = false;
 176     static _LIBCPP_CONSTEXPR const bool is_modulo = false;
 177
 178     static _LIBCPP_CONSTEXPR const bool traps = false;
 179     static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
 180     static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
 181 };
 182
 183 template <class _Tp, int __digits, bool _IsSigned>
 184 struct __libcpp_compute_min
 185 {
 186     static _LIBCPP_CONSTEXPR const _Tp value = _Tp(_Tp(1) << __digits);
 187 };
 188
 189 template <class _Tp, int __digits>
 190 struct __libcpp_compute_min<_Tp, __digits, false>
 191 {
 192     static _LIBCPP_CONSTEXPR const _Tp value = _Tp(0);
 193 };
 194
 195 template <class _Tp>
 196 class __libcpp_numeric_limits<_Tp, true>
 197 {
 198 protected:
 199     typedef _Tp type;
 200
 201     static _LIBCPP_CONSTEXPR const bool is_specialized = true;
 202
 203     static _LIBCPP_CONSTEXPR const bool is_signed = type(-1) < type(0);
 204     static _LIBCPP_CONSTEXPR const int  digits = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
 205     static _LIBCPP_CONSTEXPR const int  digits10 = digits * 3 / 10;
 206     static _LIBCPP_CONSTEXPR const int  max_digits10 = 0;
 207     static _LIBCPP_CONSTEXPR const type __min = __libcpp_compute_min<type, digits, is_signed>::value;
 208     static _LIBCPP_CONSTEXPR const type __max = is_signed ? type(type(~0) ^ __min) : type(~0);
 209     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __min;}
 210     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __max;}
 211     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return min();}
 212
 213     static _LIBCPP_CONSTEXPR const bool is_integer = true;
 214     static _LIBCPP_CONSTEXPR const bool is_exact = true;
 215     static _LIBCPP_CONSTEXPR const int  radix = 2;
 216     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type(0);}
 217     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type(0);}
 218
 219     static _LIBCPP_CONSTEXPR const int  min_exponent = 0;
 220     static _LIBCPP_CONSTEXPR const int  min_exponent10 = 0;
 221     static _LIBCPP_CONSTEXPR const int  max_exponent = 0;
 222     static _LIBCPP_CONSTEXPR const int  max_exponent10 = 0;
 223
 224     static _LIBCPP_CONSTEXPR const bool has_infinity = false;
 225     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
 226     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
 227     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
 228     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
 229     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type(0);}
 230     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type(0);}
 231     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type(0);}
 232     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type(0);}
 233
 234     static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
 235     static _LIBCPP_CONSTEXPR const bool is_bounded = true;
 236     static _LIBCPP_CONSTEXPR const bool is_modulo = !_VSTD::is_signed<_Tp>::value;
 237
 238 #if defined(__i386__) || defined(__x86_64__) || defined(__pnacl__) || \
 239     defined(__wasm__)
 240     static _LIBCPP_CONSTEXPR const bool traps = true;
 241 #else
 242     static _LIBCPP_CONSTEXPR const bool traps = false;
 243 #endif
 244     static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
 245     static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
 246 };
 247
 248 template <>
 249 class __libcpp_numeric_limits<bool, true>
 250 {
 251 protected:
 252     typedef bool type;
 253
 254     static _LIBCPP_CONSTEXPR const bool is_specialized = true;
 255
 256     static _LIBCPP_CONSTEXPR const bool is_signed = false;
 257     static _LIBCPP_CONSTEXPR const int  digits = 1;
 258     static _LIBCPP_CONSTEXPR const int  digits10 = 0;
 259     static _LIBCPP_CONSTEXPR const int  max_digits10 = 0;
 260     static _LIBCPP_CONSTEXPR const type __min = false;
 261     static _LIBCPP_CONSTEXPR const type __max = true;
 262     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __min;}
 263     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __max;}
 264     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return min();}
 265
 266     static _LIBCPP_CONSTEXPR const bool is_integer = true;
 267     static _LIBCPP_CONSTEXPR const bool is_exact = true;
 268     static _LIBCPP_CONSTEXPR const int  radix = 2;
 269     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type(0);}
 270     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type(0);}
 271
 272     static _LIBCPP_CONSTEXPR const int  min_exponent = 0;
 273     static _LIBCPP_CONSTEXPR const int  min_exponent10 = 0;
 274     static _LIBCPP_CONSTEXPR const int  max_exponent = 0;
 275     static _LIBCPP_CONSTEXPR const int  max_exponent10 = 0;
 276
 277     static _LIBCPP_CONSTEXPR const bool has_infinity = false;
 278     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
 279     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
 280     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
 281     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
 282     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type(0);}
 283     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type(0);}
 284     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type(0);}
 285     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type(0);}
 286
 287     static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
 288     static _LIBCPP_CONSTEXPR const bool is_bounded = true;
 289     static _LIBCPP_CONSTEXPR const bool is_modulo = false;
 290
 291     static _LIBCPP_CONSTEXPR const bool traps = false;
 292     static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
 293     static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
 294 };
 295
 296 template <>
 297 class __libcpp_numeric_limits<float, true>
 298 {
 299 protected:
 300     typedef float type;
 301
 302     static _LIBCPP_CONSTEXPR const bool is_specialized = true;
 303
 304     static _LIBCPP_CONSTEXPR const bool is_signed = true;
 305     static _LIBCPP_CONSTEXPR const int  digits = __FLT_MANT_DIG__;
 306     static _LIBCPP_CONSTEXPR const int  digits10 = __FLT_DIG__;
 307     static _LIBCPP_CONSTEXPR const int  max_digits10 = 2+(digits * 30103l)/100000l;
 308     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __FLT_MIN__;}
 309     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __FLT_MAX__;}
 310     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
 311
 312     static _LIBCPP_CONSTEXPR const bool is_integer = false;
 313     static _LIBCPP_CONSTEXPR const bool is_exact = false;
 314     static _LIBCPP_CONSTEXPR const int  radix = __FLT_RADIX__;
 315     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __FLT_EPSILON__;}
 316     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5F;}
 317
 318     static _LIBCPP_CONSTEXPR const int  min_exponent = __FLT_MIN_EXP__;
 319     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __FLT_MIN_10_EXP__;
 320     static _LIBCPP_CONSTEXPR const int  max_exponent = __FLT_MAX_EXP__;
 321     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __FLT_MAX_10_EXP__;
 322
 323     static _LIBCPP_CONSTEXPR const bool has_infinity = true;
 324     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
 325     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
 326     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
 327     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
 328     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_valf();}
 329     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nanf("");}
 330     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nansf("");}
 331     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __FLT_DENORM_MIN__;}
 332
 333     static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
 334     static _LIBCPP_CONSTEXPR const bool is_bounded = true;
 335     static _LIBCPP_CONSTEXPR const bool is_modulo = false;
 336
 337     static _LIBCPP_CONSTEXPR const bool traps = false;
 338 #if (defined(__arm__) || defined(__aarch64__))
 339     static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
 340 #else
 341     static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
 342 #endif
 343     static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
 344 };
 345
 346 template <>
 347 class __libcpp_numeric_limits<double, true>
 348 {
 349 protected:
 350     typedef double type;
 351
 352     static _LIBCPP_CONSTEXPR const bool is_specialized = true;
 353
 354     static _LIBCPP_CONSTEXPR const bool is_signed = true;
 355     static _LIBCPP_CONSTEXPR const int  digits = __DBL_MANT_DIG__;
 356     static _LIBCPP_CONSTEXPR const int  digits10 = __DBL_DIG__;
 357     static _LIBCPP_CONSTEXPR const int  max_digits10 = 2+(digits * 30103l)/100000l;
 358     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __DBL_MIN__;}
 359     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __DBL_MAX__;}
 360     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
 361
 362     static _LIBCPP_CONSTEXPR const bool is_integer = false;
 363     static _LIBCPP_CONSTEXPR const bool is_exact = false;
 364     static _LIBCPP_CONSTEXPR const int  radix = __FLT_RADIX__;
 365     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __DBL_EPSILON__;}
 366     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5;}
 367
 368     static _LIBCPP_CONSTEXPR const int  min_exponent = __DBL_MIN_EXP__;
 369     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __DBL_MIN_10_EXP__;
 370     static _LIBCPP_CONSTEXPR const int  max_exponent = __DBL_MAX_EXP__;
 371     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __DBL_MAX_10_EXP__;
 372
 373     static _LIBCPP_CONSTEXPR const bool has_infinity = true;
 374     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
 375     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
 376     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
 377     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
 378     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_val();}
 379     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nan("");}
 380     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nans("");}
 381     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __DBL_DENORM_MIN__;}
 382
 383     static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
 384     static _LIBCPP_CONSTEXPR const bool is_bounded = true;
 385     static _LIBCPP_CONSTEXPR const bool is_modulo = false;
 386
 387     static _LIBCPP_CONSTEXPR const bool traps = false;
 388 #if (defined(__arm__) || defined(__aarch64__))
 389     static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
 390 #else
 391     static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
 392 #endif
 393     static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
 394 };
 395
 396 template <>
 397 class __libcpp_numeric_limits<long double, true>
 398 {
 399 protected:
 400     typedef long double type;
 401
 402     static _LIBCPP_CONSTEXPR const bool is_specialized = true;
 403
 404     static _LIBCPP_CONSTEXPR const bool is_signed = true;
 405     static _LIBCPP_CONSTEXPR const int  digits = __LDBL_MANT_DIG__;
 406     static _LIBCPP_CONSTEXPR const int  digits10 = __LDBL_DIG__;
 407     static _LIBCPP_CONSTEXPR const int  max_digits10 = 2+(digits * 30103l)/100000l;
 408     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __LDBL_MIN__;}
 409     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __LDBL_MAX__;}
 410     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
 411
 412     static _LIBCPP_CONSTEXPR const bool is_integer = false;
 413     static _LIBCPP_CONSTEXPR const bool is_exact = false;
 414     static _LIBCPP_CONSTEXPR const int  radix = __FLT_RADIX__;
 415     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __LDBL_EPSILON__;}
 416     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5L;}
 417
 418     static _LIBCPP_CONSTEXPR const int  min_exponent = __LDBL_MIN_EXP__;
 419     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __LDBL_MIN_10_EXP__;
 420     static _LIBCPP_CONSTEXPR const int  max_exponent = __LDBL_MAX_EXP__;
 421     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __LDBL_MAX_10_EXP__;
 422
 423     static _LIBCPP_CONSTEXPR const bool has_infinity = true;
 424     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
 425     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
 426     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
 427     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
 428     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_vall();}
 429     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nanl("");}
 430     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nansl("");}
 431     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __LDBL_DENORM_MIN__;}
 432
 433 #if defined(__powerpc__) && defined(__LONG_DOUBLE_IBM128__)
 434     static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
 435 #else
 436     static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
 437 #endif
 438     static _LIBCPP_CONSTEXPR const bool is_bounded = true;
 439     static _LIBCPP_CONSTEXPR const bool is_modulo = false;
 440
 441     static _LIBCPP_CONSTEXPR const bool traps = false;
 442 #if (defined(__arm__) || defined(__aarch64__))
 443     static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
 444 #else
 445     static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
 446 #endif
 447     static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
 448 };
 449
 450 template <class _Tp>
 451 class _LIBCPP_TEMPLATE_VIS numeric_limits
 452     : private __libcpp_numeric_limits<__remove_cv_t<_Tp> >
 453 {
 454     typedef __libcpp_numeric_limits<__remove_cv_t<_Tp> > __base;
 455     typedef typename __base::type type;
 456 public:
 457     static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
 458     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
 459     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
 460     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
 461
 462     static _LIBCPP_CONSTEXPR const int  digits = __base::digits;
 463     static _LIBCPP_CONSTEXPR const int  digits10 = __base::digits10;
 464     static _LIBCPP_CONSTEXPR const int  max_digits10 = __base::max_digits10;
 465     static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
 466     static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
 467     static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
 468     static _LIBCPP_CONSTEXPR const int  radix = __base::radix;
 469     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
 470     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
 471
 472     static _LIBCPP_CONSTEXPR const int  min_exponent = __base::min_exponent;
 473     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __base::min_exponent10;
 474     static _LIBCPP_CONSTEXPR const int  max_exponent = __base::max_exponent;
 475     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __base::max_exponent10;
 476
 477     static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
 478     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
 479     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
 480 _LIBCPP_SUPPRESS_DEPRECATED_PUSH
 481     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
 482     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
 483 _LIBCPP_SUPPRESS_DEPRECATED_POP
 484     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
 485     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
 486     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
 487     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
 488
 489     static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
 490     static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
 491     static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
 492
 493     static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
 494     static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
 495     static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
 496 };
 497
 498 template <class _Tp>
 499     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_specialized;
 500 template <class _Tp>
 501     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits;
 502 template <class _Tp>
 503     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits10;
 504 template <class _Tp>
 505     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_digits10;
 506 template <class _Tp>
 507     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_signed;
 508 template <class _Tp>
 509     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_integer;
 510 template <class _Tp>
 511     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_exact;
 512 template <class _Tp>
 513     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::radix;
 514 template <class _Tp>
 515     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent;
 516 template <class _Tp>
 517     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent10;
 518 template <class _Tp>
 519     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent;
 520 template <class _Tp>
 521     _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent10;
 522 template <class _Tp>
 523     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_infinity;
 524 template <class _Tp>
 525     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_quiet_NaN;
 526 template <class _Tp>
 527     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_signaling_NaN;
 528 template <class _Tp>
 529     _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<_Tp>::has_denorm;
 530 template <class _Tp>
 531     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_denorm_loss;
 532 template <class _Tp>
 533     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_iec559;
 534 template <class _Tp>
 535     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_bounded;
 536 template <class _Tp>
 537     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_modulo;
 538 template <class _Tp>
 539     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::traps;
 540 template <class _Tp>
 541     _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::tinyness_before;
 542 template <class _Tp>
 543     _LIBCPP_CONSTEXPR const float_round_style numeric_limits<_Tp>::round_style;
 544
 545 template <class _Tp>
 546 class _LIBCPP_TEMPLATE_VIS numeric_limits<const _Tp>
 547     : private numeric_limits<_Tp>
 548 {
 549     typedef numeric_limits<_Tp> __base;
 550     typedef _Tp type;
 551 public:
 552     static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
 553     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
 554     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
 555     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
 556
 557     static _LIBCPP_CONSTEXPR const int  digits = __base::digits;
 558     static _LIBCPP_CONSTEXPR const int  digits10 = __base::digits10;
 559     static _LIBCPP_CONSTEXPR const int  max_digits10 = __base::max_digits10;
 560     static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
 561     static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
 562     static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
 563     static _LIBCPP_CONSTEXPR const int  radix = __base::radix;
 564     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
 565     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
 566
 567     static _LIBCPP_CONSTEXPR const int  min_exponent = __base::min_exponent;
 568     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __base::min_exponent10;
 569     static _LIBCPP_CONSTEXPR const int  max_exponent = __base::max_exponent;
 570     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __base::max_exponent10;
 571
 572     static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
 573     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
 574     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
 575 _LIBCPP_SUPPRESS_DEPRECATED_PUSH
 576     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
 577     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
 578 _LIBCPP_SUPPRESS_DEPRECATED_POP
 579     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
 580     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
 581     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
 582     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
 583
 584     static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
 585     static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
 586     static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
 587
 588     static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
 589     static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
 590     static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
 591 };
 592
 593 template <class _Tp>
 594     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_specialized;
 595 template <class _Tp>
 596     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::digits;
 597 template <class _Tp>
 598     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::digits10;
 599 template <class _Tp>
 600     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_digits10;
 601 template <class _Tp>
 602     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_signed;
 603 template <class _Tp>
 604     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_integer;
 605 template <class _Tp>
 606     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_exact;
 607 template <class _Tp>
 608     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::radix;
 609 template <class _Tp>
 610     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::min_exponent;
 611 template <class _Tp>
 612     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::min_exponent10;
 613 template <class _Tp>
 614     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_exponent;
 615 template <class _Tp>
 616     _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_exponent10;
 617 template <class _Tp>
 618     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_infinity;
 619 template <class _Tp>
 620     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_quiet_NaN;
 621 template <class _Tp>
 622     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_signaling_NaN;
 623 template <class _Tp>
 624     _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<const _Tp>::has_denorm;
 625 template <class _Tp>
 626     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_denorm_loss;
 627 template <class _Tp>
 628     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_iec559;
 629 template <class _Tp>
 630     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_bounded;
 631 template <class _Tp>
 632     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_modulo;
 633 template <class _Tp>
 634     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::traps;
 635 template <class _Tp>
 636     _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::tinyness_before;
 637 template <class _Tp>
 638     _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const _Tp>::round_style;
 639
 640 template <class _Tp>
 641 class _LIBCPP_TEMPLATE_VIS numeric_limits<volatile _Tp>
 642     : private numeric_limits<_Tp>
 643 {
 644     typedef numeric_limits<_Tp> __base;
 645     typedef _Tp type;
 646 public:
 647     static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
 648     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
 649     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
 650     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
 651
 652     static _LIBCPP_CONSTEXPR const int  digits = __base::digits;
 653     static _LIBCPP_CONSTEXPR const int  digits10 = __base::digits10;
 654     static _LIBCPP_CONSTEXPR const int  max_digits10 = __base::max_digits10;
 655     static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
 656     static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
 657     static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
 658     static _LIBCPP_CONSTEXPR const int  radix = __base::radix;
 659     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
 660     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
 661
 662     static _LIBCPP_CONSTEXPR const int  min_exponent = __base::min_exponent;
 663     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __base::min_exponent10;
 664     static _LIBCPP_CONSTEXPR const int  max_exponent = __base::max_exponent;
 665     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __base::max_exponent10;
 666
 667     static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
 668     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
 669     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
 670 _LIBCPP_SUPPRESS_DEPRECATED_PUSH
 671     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
 672     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
 673 _LIBCPP_SUPPRESS_DEPRECATED_POP
 674     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
 675     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
 676     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
 677     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
 678
 679     static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
 680     static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
 681     static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
 682
 683     static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
 684     static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
 685     static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
 686 };
 687
 688 template <class _Tp>
 689     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_specialized;
 690 template <class _Tp>
 691     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::digits;
 692 template <class _Tp>
 693     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::digits10;
 694 template <class _Tp>
 695     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_digits10;
 696 template <class _Tp>
 697     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_signed;
 698 template <class _Tp>
 699     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_integer;
 700 template <class _Tp>
 701     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_exact;
 702 template <class _Tp>
 703     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::radix;
 704 template <class _Tp>
 705     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::min_exponent;
 706 template <class _Tp>
 707     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::min_exponent10;
 708 template <class _Tp>
 709     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_exponent;
 710 template <class _Tp>
 711     _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_exponent10;
 712 template <class _Tp>
 713     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_infinity;
 714 template <class _Tp>
 715     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_quiet_NaN;
 716 template <class _Tp>
 717     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_signaling_NaN;
 718 template <class _Tp>
 719     _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<volatile _Tp>::has_denorm;
 720 template <class _Tp>
 721     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_denorm_loss;
 722 template <class _Tp>
 723     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_iec559;
 724 template <class _Tp>
 725     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_bounded;
 726 template <class _Tp>
 727     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_modulo;
 728 template <class _Tp>
 729     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::traps;
 730 template <class _Tp>
 731     _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::tinyness_before;
 732 template <class _Tp>
 733     _LIBCPP_CONSTEXPR const float_round_style numeric_limits<volatile _Tp>::round_style;
 734
 735 template <class _Tp>
 736 class _LIBCPP_TEMPLATE_VIS numeric_limits<const volatile _Tp>
 737     : private numeric_limits<_Tp>
 738 {
 739     typedef numeric_limits<_Tp> __base;
 740     typedef _Tp type;
 741 public:
 742     static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
 743     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
 744     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
 745     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
 746
 747     static _LIBCPP_CONSTEXPR const int  digits = __base::digits;
 748     static _LIBCPP_CONSTEXPR const int  digits10 = __base::digits10;
 749     static _LIBCPP_CONSTEXPR const int  max_digits10 = __base::max_digits10;
 750     static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
 751     static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
 752     static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
 753     static _LIBCPP_CONSTEXPR const int  radix = __base::radix;
 754     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
 755     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
 756
 757     static _LIBCPP_CONSTEXPR const int  min_exponent = __base::min_exponent;
 758     static _LIBCPP_CONSTEXPR const int  min_exponent10 = __base::min_exponent10;
 759     static _LIBCPP_CONSTEXPR const int  max_exponent = __base::max_exponent;
 760     static _LIBCPP_CONSTEXPR const int  max_exponent10 = __base::max_exponent10;
 761
 762     static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
 763     static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
 764     static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
 765 _LIBCPP_SUPPRESS_DEPRECATED_PUSH
 766     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
 767     static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
 768 _LIBCPP_SUPPRESS_DEPRECATED_POP
 769     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
 770     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
 771     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
 772     _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
 773
 774     static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
 775     static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
 776     static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
 777
 778     static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
 779     static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
 780     static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
 781 };
 782
 783 template <class _Tp>
 784     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_specialized;
 785 template <class _Tp>
 786     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::digits;
 787 template <class _Tp>
 788     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::digits10;
 789 template <class _Tp>
 790     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_digits10;
 791 template <class _Tp>
 792     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_signed;
 793 template <class _Tp>
 794     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_integer;
 795 template <class _Tp>
 796     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_exact;
 797 template <class _Tp>
 798     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::radix;
 799 template <class _Tp>
 800     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::min_exponent;
 801 template <class _Tp>
 802     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::min_exponent10;
 803 template <class _Tp>
 804     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_exponent;
 805 template <class _Tp>
 806     _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_exponent10;
 807 template <class _Tp>
 808     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_infinity;
 809 template <class _Tp>
 810     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_quiet_NaN;
 811 template <class _Tp>
 812     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_signaling_NaN;
 813 template <class _Tp>
 814     _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<const volatile _Tp>::has_denorm;
 815 template <class _Tp>
 816     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_denorm_loss;
 817 template <class _Tp>
 818     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_iec559;
 819 template <class _Tp>
 820     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_bounded;
 821 template <class _Tp>
 822     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_modulo;
 823 template <class _Tp>
 824     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::traps;
 825 template <class _Tp>
 826     _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::tinyness_before;
 827 template <class _Tp>
 828     _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const volatile _Tp>::round_style;
 829
 830 _LIBCPP_END_NAMESPACE_STD
 831
 832 _LIBCPP_POP_MACROS
 833
 834 #if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
 835 #  include <type_traits>
 836 #endif
 837
 838 #endif // _LIBCPP_LIMITS