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