// -*- C++ -*-
//===---------------------------- limits ----------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#ifndef _LIBCUDACXX_LIMITS
#define _LIBCUDACXX_LIMITS

/*
    limits synopsis

namespace std
{

template<class T>
class numeric_limits
{
public:
    static constexpr bool is_specialized = false;
    static constexpr T min() noexcept;
    static constexpr T max() noexcept;
    static constexpr T lowest() noexcept;

    static constexpr int  digits = 0;
    static constexpr int  digits10 = 0;
    static constexpr int  max_digits10 = 0;
    static constexpr bool is_signed = false;
    static constexpr bool is_integer = false;
    static constexpr bool is_exact = false;
    static constexpr int  radix = 0;
    static constexpr T epsilon() noexcept;
    static constexpr T round_error() noexcept;

    static constexpr int  min_exponent = 0;
    static constexpr int  min_exponent10 = 0;
    static constexpr int  max_exponent = 0;
    static constexpr int  max_exponent10 = 0;

    static constexpr bool has_infinity = false;
    static constexpr bool has_quiet_NaN = false;
    static constexpr bool has_signaling_NaN = false;
    static constexpr float_denorm_style has_denorm = denorm_absent;
    static constexpr bool has_denorm_loss = false;
    static constexpr T infinity() noexcept;
    static constexpr T quiet_NaN() noexcept;
    static constexpr T signaling_NaN() noexcept;
    static constexpr T denorm_min() noexcept;

    static constexpr bool is_iec559 = false;
    static constexpr bool is_bounded = false;
    static constexpr bool is_modulo = false;

    static constexpr bool traps = false;
    static constexpr bool tinyness_before = false;
    static constexpr float_round_style round_style = round_toward_zero;
};

enum float_round_style
{
    round_indeterminate       = -1,
    round_toward_zero         =  0,
    round_to_nearest          =  1,
    round_toward_infinity     =  2,
    round_toward_neg_infinity =  3
};

enum float_denorm_style
{
    denorm_indeterminate = -1,
    denorm_absent = 0,
    denorm_present = 1
};

template<> class numeric_limits<cv bool>;

template<> class numeric_limits<cv char>;
template<> class numeric_limits<cv signed char>;
template<> class numeric_limits<cv unsigned char>;
template<> class numeric_limits<cv wchar_t>;
template<> class numeric_limits<cv char8_t>; // C++20
template<> class numeric_limits<cv char16_t>;
template<> class numeric_limits<cv char32_t>;

template<> class numeric_limits<cv short>;
template<> class numeric_limits<cv int>;
template<> class numeric_limits<cv long>;
template<> class numeric_limits<cv long long>;
template<> class numeric_limits<cv unsigned short>;
template<> class numeric_limits<cv unsigned int>;
template<> class numeric_limits<cv unsigned long>;
template<> class numeric_limits<cv unsigned long long>;

template<> class numeric_limits<cv float>;
template<> class numeric_limits<cv double>;
template<> class numeric_limits<cv long double>;

}  // std

*/

#include <cuda/std/detail/__config>

#if defined(_CCCL_IMPLICIT_SYSTEM_HEADER_GCC)
#  pragma GCC system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_CLANG)
#  pragma clang system_header
#elif defined(_CCCL_IMPLICIT_SYSTEM_HEADER_MSVC)
#  pragma system_header
#endif // no system header

#include <cuda/std/climits>
#include <cuda/std/detail/libcxx/include/__assert> // all public C++ headers provide the assertion handler
#include <cuda/std/type_traits>
#include <cuda/std/version>

_CCCL_PUSH_MACROS

#if defined(_CCCL_COMPILER_MSVC)
#  include <cuda/std/detail/libcxx/include/support/win32/limits_msvc_win32.h>
#endif // _LIBCUDACXX_MSVCRT

#if defined(_CCCL_COMPILER_IBM)
#  include <cuda/std/detail/libcxx/include/support/ibm/limits.h>
#endif // _CCCL_COMPILER_IBM

_LIBCUDACXX_BEGIN_NAMESPACE_STD

enum float_round_style
{
  round_indeterminate       = -1,
  round_toward_zero         = 0,
  round_to_nearest          = 1,
  round_toward_infinity     = 2,
  round_toward_neg_infinity = 3
};

enum float_denorm_style
{
  denorm_indeterminate = -1,
  denorm_absent        = 0,
  denorm_present       = 1
};

template <class _Tp, bool = is_arithmetic<_Tp>::value>
class __libcpp_numeric_limits
{
protected:
  typedef _Tp type;

  static constexpr bool is_specialized = false;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return type();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return type();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return type();
  }

  static constexpr int digits       = 0;
  static constexpr int digits10     = 0;
  static constexpr int max_digits10 = 0;
  static constexpr bool is_signed   = false;
  static constexpr bool is_integer  = false;
  static constexpr bool is_exact    = false;
  static constexpr int radix        = 0;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return type();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return type();
  }

  static constexpr int min_exponent   = 0;
  static constexpr int min_exponent10 = 0;
  static constexpr int max_exponent   = 0;
  static constexpr int max_exponent10 = 0;

  static constexpr bool has_infinity             = false;
  static constexpr bool has_quiet_NaN            = false;
  static constexpr bool has_signaling_NaN        = false;
  static constexpr float_denorm_style has_denorm = denorm_absent;
  static constexpr bool has_denorm_loss          = false;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return type();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return type();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return type();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return type();
  }

  static constexpr bool is_iec559  = false;
  static constexpr bool is_bounded = false;
  static constexpr bool is_modulo  = false;

  static constexpr bool traps                    = false;
  static constexpr bool tinyness_before          = false;
  static constexpr float_round_style round_style = round_toward_zero;
};

_CCCL_DIAG_PUSH
_CCCL_DIAG_SUPPRESS_MSVC(4309)
template <class _Tp, int __digits, bool _IsSigned>
struct __libcpp_compute_min
{
  static constexpr _Tp value = static_cast<_Tp>(_Tp(1) << __digits);
};
_CCCL_DIAG_POP

template <class _Tp, int __digits>
struct __libcpp_compute_min<_Tp, __digits, false>
{
  static constexpr _Tp value = _Tp(0);
};

template <class _Tp>
class __libcpp_numeric_limits<_Tp, true>
{
protected:
  typedef _Tp type;

  static constexpr bool is_specialized = true;

  static constexpr bool is_signed   = type(-1) < type(0);
  static constexpr int digits       = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
  static constexpr int digits10     = digits * 3 / 10;
  static constexpr int max_digits10 = 0;
  static constexpr type __min       = __libcpp_compute_min<type, digits, is_signed>::value;
  static constexpr type __max       = is_signed ? type(type(~0) ^ __min) : type(~0);
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __min;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __max;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return min();
  }

  static constexpr bool is_integer = true;
  static constexpr bool is_exact   = true;
  static constexpr int radix       = 2;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return type(0);
  }

  static constexpr int min_exponent   = 0;
  static constexpr int min_exponent10 = 0;
  static constexpr int max_exponent   = 0;
  static constexpr int max_exponent10 = 0;

  static constexpr bool has_infinity             = false;
  static constexpr bool has_quiet_NaN            = false;
  static constexpr bool has_signaling_NaN        = false;
  static constexpr float_denorm_style has_denorm = denorm_absent;
  static constexpr bool has_denorm_loss          = false;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return type(0);
  }

  static constexpr bool is_iec559  = false;
  static constexpr bool is_bounded = true;
  static constexpr bool is_modulo  = !_CUDA_VSTD::is_signed<_Tp>::value;

#if defined(__i386__) || defined(__x86_64__) || defined(__pnacl__) || defined(__wasm__)
  static constexpr bool traps = true;
#else
  static constexpr bool traps = false;
#endif
  static constexpr bool tinyness_before          = false;
  static constexpr float_round_style round_style = round_toward_zero;
};

template <>
class __libcpp_numeric_limits<bool, true>
{
protected:
  typedef bool type;

  static constexpr bool is_specialized = true;

  static constexpr bool is_signed   = false;
  static constexpr int digits       = 1;
  static constexpr int digits10     = 0;
  static constexpr int max_digits10 = 0;
  static constexpr type __min       = false;
  static constexpr type __max       = true;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __min;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __max;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return min();
  }

  static constexpr bool is_integer = true;
  static constexpr bool is_exact   = true;
  static constexpr int radix       = 2;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return type(0);
  }

  static constexpr int min_exponent   = 0;
  static constexpr int min_exponent10 = 0;
  static constexpr int max_exponent   = 0;
  static constexpr int max_exponent10 = 0;

  static constexpr bool has_infinity             = false;
  static constexpr bool has_quiet_NaN            = false;
  static constexpr bool has_signaling_NaN        = false;
  static constexpr float_denorm_style has_denorm = denorm_absent;
  static constexpr bool has_denorm_loss          = false;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return type(0);
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return type(0);
  }

  static constexpr bool is_iec559  = false;
  static constexpr bool is_bounded = true;
  static constexpr bool is_modulo  = false;

  static constexpr bool traps                    = false;
  static constexpr bool tinyness_before          = false;
  static constexpr float_round_style round_style = round_toward_zero;
};

template <>
class __libcpp_numeric_limits<float, true>
{
protected:
  typedef float type;

  static constexpr bool is_specialized = true;

  static constexpr bool is_signed   = true;
  static constexpr int digits       = __FLT_MANT_DIG__;
  static constexpr int digits10     = __FLT_DIG__;
  static constexpr int max_digits10 = 2 + (digits * 30103l) / 100000l;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __FLT_MIN__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __FLT_MAX__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return -max();
  }

  static constexpr bool is_integer = false;
  static constexpr bool is_exact   = false;
  static constexpr int radix       = __FLT_RADIX__;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __FLT_EPSILON__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return 0.5F;
  }

  static constexpr int min_exponent   = __FLT_MIN_EXP__;
  static constexpr int min_exponent10 = __FLT_MIN_10_EXP__;
  static constexpr int max_exponent   = __FLT_MAX_EXP__;
  static constexpr int max_exponent10 = __FLT_MAX_10_EXP__;

  static constexpr bool has_infinity             = true;
  static constexpr bool has_quiet_NaN            = true;
  static constexpr bool has_signaling_NaN        = true;
  static constexpr float_denorm_style has_denorm = denorm_present;
  static constexpr bool has_denorm_loss          = false;
#ifdef _CCCL_COMPILER_NVRTC
  _LIBCUDACXX_INLINE_VISIBILITY static type infinity() noexcept
  {
    return __builtin_huge_valf();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static type quiet_NaN() noexcept
  {
    return __builtin_nanf("");
  }
  _LIBCUDACXX_INLINE_VISIBILITY static type signaling_NaN() noexcept
  {
    return __builtin_nansf("");
  }
#else
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __builtin_huge_valf();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __builtin_nanf("");
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __builtin_nansf("");
  }
#endif
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __FLT_DENORM_MIN__;
  }

  static constexpr bool is_iec559  = true;
  static constexpr bool is_bounded = true;
  static constexpr bool is_modulo  = false;

  static constexpr bool traps                    = false;
  static constexpr bool tinyness_before          = false;
  static constexpr float_round_style round_style = round_to_nearest;
};

template <>
class __libcpp_numeric_limits<double, true>
{
protected:
  typedef double type;

  static constexpr bool is_specialized = true;

  static constexpr bool is_signed   = true;
  static constexpr int digits       = __DBL_MANT_DIG__;
  static constexpr int digits10     = __DBL_DIG__;
  static constexpr int max_digits10 = 2 + (digits * 30103l) / 100000l;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __DBL_MIN__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __DBL_MAX__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return -max();
  }

  static constexpr bool is_integer = false;
  static constexpr bool is_exact   = false;
  static constexpr int radix       = __FLT_RADIX__;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __DBL_EPSILON__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return 0.5;
  }

  static constexpr int min_exponent   = __DBL_MIN_EXP__;
  static constexpr int min_exponent10 = __DBL_MIN_10_EXP__;
  static constexpr int max_exponent   = __DBL_MAX_EXP__;
  static constexpr int max_exponent10 = __DBL_MAX_10_EXP__;

  static constexpr bool has_infinity             = true;
  static constexpr bool has_quiet_NaN            = true;
  static constexpr bool has_signaling_NaN        = true;
  static constexpr float_denorm_style has_denorm = denorm_present;
  static constexpr bool has_denorm_loss          = false;
#ifdef _CCCL_COMPILER_NVRTC
  _LIBCUDACXX_INLINE_VISIBILITY static type infinity() noexcept
  {
    return __builtin_huge_val();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static type quiet_NaN() noexcept
  {
    return __builtin_nan("");
  }
  _LIBCUDACXX_INLINE_VISIBILITY static type signaling_NaN() noexcept
  {
    return __builtin_nans("");
  }
#else
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __builtin_huge_val();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __builtin_nan("");
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __builtin_nans("");
  }
#endif
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __DBL_DENORM_MIN__;
  }

  static constexpr bool is_iec559  = true;
  static constexpr bool is_bounded = true;
  static constexpr bool is_modulo  = false;

  static constexpr bool traps                    = false;
  static constexpr bool tinyness_before          = false;
  static constexpr float_round_style round_style = round_to_nearest;
};

template <>
class __libcpp_numeric_limits<long double, true>
{
#ifndef _LIBCUDACXX_HAS_NO_LONG_DOUBLE

protected:
  typedef long double type;

  static constexpr bool is_specialized = true;

  static constexpr bool is_signed   = true;
  static constexpr int digits       = __LDBL_MANT_DIG__;
  static constexpr int digits10     = __LDBL_DIG__;
  static constexpr int max_digits10 = 2 + (digits * 30103l) / 100000l;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __LDBL_MIN__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __LDBL_MAX__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return -max();
  }

  static constexpr bool is_integer = false;
  static constexpr bool is_exact   = false;
  static constexpr int radix       = __FLT_RADIX__;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __LDBL_EPSILON__;
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return 0.5L;
  }

  static constexpr int min_exponent   = __LDBL_MIN_EXP__;
  static constexpr int min_exponent10 = __LDBL_MIN_10_EXP__;
  static constexpr int max_exponent   = __LDBL_MAX_EXP__;
  static constexpr int max_exponent10 = __LDBL_MAX_10_EXP__;

  static constexpr bool has_infinity             = true;
  static constexpr bool has_quiet_NaN            = true;
  static constexpr bool has_signaling_NaN        = true;
  static constexpr float_denorm_style has_denorm = denorm_present;
  static constexpr bool has_denorm_loss          = false;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __builtin_huge_vall();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __builtin_nanl("");
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __builtin_nansl("");
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __LDBL_DENORM_MIN__;
  }

#  if (defined(__ppc__) || defined(__ppc64__) || defined(__PPC64__))
  static constexpr bool is_iec559 = false;
#  else
  static constexpr bool is_iec559 = true;
#  endif
  static constexpr bool is_bounded = true;
  static constexpr bool is_modulo  = false;

  static constexpr bool traps                    = false;
  static constexpr bool tinyness_before          = false;
  static constexpr float_round_style round_style = round_to_nearest;
#endif
};

template <class _Tp>
class _LIBCUDACXX_TEMPLATE_VIS numeric_limits : private __libcpp_numeric_limits<__remove_cv_t<_Tp>>
{
  typedef __libcpp_numeric_limits<__remove_cv_t<_Tp>> __base;
  typedef typename __base::type type;

public:
  static constexpr bool is_specialized = __base::is_specialized;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __base::min();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __base::max();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return __base::lowest();
  }

  static constexpr int digits       = __base::digits;
  static constexpr int digits10     = __base::digits10;
  static constexpr int max_digits10 = __base::max_digits10;
  static constexpr bool is_signed   = __base::is_signed;
  static constexpr bool is_integer  = __base::is_integer;
  static constexpr bool is_exact    = __base::is_exact;
  static constexpr int radix        = __base::radix;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __base::epsilon();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return __base::round_error();
  }

  static constexpr int min_exponent   = __base::min_exponent;
  static constexpr int min_exponent10 = __base::min_exponent10;
  static constexpr int max_exponent   = __base::max_exponent;
  static constexpr int max_exponent10 = __base::max_exponent10;

  static constexpr bool has_infinity             = __base::has_infinity;
  static constexpr bool has_quiet_NaN            = __base::has_quiet_NaN;
  static constexpr bool has_signaling_NaN        = __base::has_signaling_NaN;
  static constexpr float_denorm_style has_denorm = __base::has_denorm;
  static constexpr bool has_denorm_loss          = __base::has_denorm_loss;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __base::infinity();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __base::quiet_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __base::signaling_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __base::denorm_min();
  }

  static constexpr bool is_iec559  = __base::is_iec559;
  static constexpr bool is_bounded = __base::is_bounded;
  static constexpr bool is_modulo  = __base::is_modulo;

  static constexpr bool traps                    = __base::traps;
  static constexpr bool tinyness_before          = __base::tinyness_before;
  static constexpr float_round_style round_style = __base::round_style;
};

template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_specialized;
template <class _Tp>
constexpr int numeric_limits<_Tp>::digits;
template <class _Tp>
constexpr int numeric_limits<_Tp>::digits10;
template <class _Tp>
constexpr int numeric_limits<_Tp>::max_digits10;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_signed;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_integer;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_exact;
template <class _Tp>
constexpr int numeric_limits<_Tp>::radix;
template <class _Tp>
constexpr int numeric_limits<_Tp>::min_exponent;
template <class _Tp>
constexpr int numeric_limits<_Tp>::min_exponent10;
template <class _Tp>
constexpr int numeric_limits<_Tp>::max_exponent;
template <class _Tp>
constexpr int numeric_limits<_Tp>::max_exponent10;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::has_infinity;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::has_quiet_NaN;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::has_signaling_NaN;
template <class _Tp>
constexpr float_denorm_style numeric_limits<_Tp>::has_denorm;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::has_denorm_loss;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_iec559;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_bounded;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::is_modulo;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::traps;
template <class _Tp>
constexpr bool numeric_limits<_Tp>::tinyness_before;
template <class _Tp>
constexpr float_round_style numeric_limits<_Tp>::round_style;

template <class _Tp>
class _LIBCUDACXX_TEMPLATE_VIS numeric_limits<const _Tp> : private numeric_limits<_Tp>
{
  typedef numeric_limits<_Tp> __base;
  typedef _Tp type;

public:
  static constexpr bool is_specialized = __base::is_specialized;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __base::min();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __base::max();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return __base::lowest();
  }

  static constexpr int digits       = __base::digits;
  static constexpr int digits10     = __base::digits10;
  static constexpr int max_digits10 = __base::max_digits10;
  static constexpr bool is_signed   = __base::is_signed;
  static constexpr bool is_integer  = __base::is_integer;
  static constexpr bool is_exact    = __base::is_exact;
  static constexpr int radix        = __base::radix;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __base::epsilon();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return __base::round_error();
  }

  static constexpr int min_exponent   = __base::min_exponent;
  static constexpr int min_exponent10 = __base::min_exponent10;
  static constexpr int max_exponent   = __base::max_exponent;
  static constexpr int max_exponent10 = __base::max_exponent10;

  static constexpr bool has_infinity             = __base::has_infinity;
  static constexpr bool has_quiet_NaN            = __base::has_quiet_NaN;
  static constexpr bool has_signaling_NaN        = __base::has_signaling_NaN;
  static constexpr float_denorm_style has_denorm = __base::has_denorm;
  static constexpr bool has_denorm_loss          = __base::has_denorm_loss;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __base::infinity();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __base::quiet_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __base::signaling_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __base::denorm_min();
  }

  static constexpr bool is_iec559  = __base::is_iec559;
  static constexpr bool is_bounded = __base::is_bounded;
  static constexpr bool is_modulo  = __base::is_modulo;

  static constexpr bool traps                    = __base::traps;
  static constexpr bool tinyness_before          = __base::tinyness_before;
  static constexpr float_round_style round_style = __base::round_style;
};

template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_specialized;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::digits;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::digits10;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::max_digits10;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_signed;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_integer;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_exact;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::radix;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::min_exponent;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::min_exponent10;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::max_exponent;
template <class _Tp>
constexpr int numeric_limits<const _Tp>::max_exponent10;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::has_infinity;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::has_quiet_NaN;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::has_signaling_NaN;
template <class _Tp>
constexpr float_denorm_style numeric_limits<const _Tp>::has_denorm;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::has_denorm_loss;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_iec559;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_bounded;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::is_modulo;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::traps;
template <class _Tp>
constexpr bool numeric_limits<const _Tp>::tinyness_before;
template <class _Tp>
constexpr float_round_style numeric_limits<const _Tp>::round_style;

template <class _Tp>
class _LIBCUDACXX_TEMPLATE_VIS numeric_limits<volatile _Tp> : private numeric_limits<_Tp>
{
  typedef numeric_limits<_Tp> __base;
  typedef _Tp type;

public:
  static constexpr bool is_specialized = __base::is_specialized;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __base::min();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __base::max();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return __base::lowest();
  }

  static constexpr int digits       = __base::digits;
  static constexpr int digits10     = __base::digits10;
  static constexpr int max_digits10 = __base::max_digits10;
  static constexpr bool is_signed   = __base::is_signed;
  static constexpr bool is_integer  = __base::is_integer;
  static constexpr bool is_exact    = __base::is_exact;
  static constexpr int radix        = __base::radix;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __base::epsilon();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return __base::round_error();
  }

  static constexpr int min_exponent   = __base::min_exponent;
  static constexpr int min_exponent10 = __base::min_exponent10;
  static constexpr int max_exponent   = __base::max_exponent;
  static constexpr int max_exponent10 = __base::max_exponent10;

  static constexpr bool has_infinity             = __base::has_infinity;
  static constexpr bool has_quiet_NaN            = __base::has_quiet_NaN;
  static constexpr bool has_signaling_NaN        = __base::has_signaling_NaN;
  static constexpr float_denorm_style has_denorm = __base::has_denorm;
  static constexpr bool has_denorm_loss          = __base::has_denorm_loss;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __base::infinity();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __base::quiet_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __base::signaling_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __base::denorm_min();
  }

  static constexpr bool is_iec559  = __base::is_iec559;
  static constexpr bool is_bounded = __base::is_bounded;
  static constexpr bool is_modulo  = __base::is_modulo;

  static constexpr bool traps                    = __base::traps;
  static constexpr bool tinyness_before          = __base::tinyness_before;
  static constexpr float_round_style round_style = __base::round_style;
};

template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_specialized;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::digits;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::digits10;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::max_digits10;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_signed;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_integer;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_exact;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::radix;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::min_exponent;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::min_exponent10;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::max_exponent;
template <class _Tp>
constexpr int numeric_limits<volatile _Tp>::max_exponent10;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::has_infinity;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::has_quiet_NaN;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::has_signaling_NaN;
template <class _Tp>
constexpr float_denorm_style numeric_limits<volatile _Tp>::has_denorm;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::has_denorm_loss;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_iec559;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_bounded;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::is_modulo;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::traps;
template <class _Tp>
constexpr bool numeric_limits<volatile _Tp>::tinyness_before;
template <class _Tp>
constexpr float_round_style numeric_limits<volatile _Tp>::round_style;

template <class _Tp>
class _LIBCUDACXX_TEMPLATE_VIS numeric_limits<const volatile _Tp> : private numeric_limits<_Tp>
{
  typedef numeric_limits<_Tp> __base;
  typedef _Tp type;

public:
  static constexpr bool is_specialized = __base::is_specialized;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type min() noexcept
  {
    return __base::min();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type max() noexcept
  {
    return __base::max();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type lowest() noexcept
  {
    return __base::lowest();
  }

  static constexpr int digits       = __base::digits;
  static constexpr int digits10     = __base::digits10;
  static constexpr int max_digits10 = __base::max_digits10;
  static constexpr bool is_signed   = __base::is_signed;
  static constexpr bool is_integer  = __base::is_integer;
  static constexpr bool is_exact    = __base::is_exact;
  static constexpr int radix        = __base::radix;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type epsilon() noexcept
  {
    return __base::epsilon();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type round_error() noexcept
  {
    return __base::round_error();
  }

  static constexpr int min_exponent   = __base::min_exponent;
  static constexpr int min_exponent10 = __base::min_exponent10;
  static constexpr int max_exponent   = __base::max_exponent;
  static constexpr int max_exponent10 = __base::max_exponent10;

  static constexpr bool has_infinity             = __base::has_infinity;
  static constexpr bool has_quiet_NaN            = __base::has_quiet_NaN;
  static constexpr bool has_signaling_NaN        = __base::has_signaling_NaN;
  static constexpr float_denorm_style has_denorm = __base::has_denorm;
  static constexpr bool has_denorm_loss          = __base::has_denorm_loss;
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type infinity() noexcept
  {
    return __base::infinity();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type quiet_NaN() noexcept
  {
    return __base::quiet_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type signaling_NaN() noexcept
  {
    return __base::signaling_NaN();
  }
  _LIBCUDACXX_INLINE_VISIBILITY static constexpr type denorm_min() noexcept
  {
    return __base::denorm_min();
  }

  static constexpr bool is_iec559  = __base::is_iec559;
  static constexpr bool is_bounded = __base::is_bounded;
  static constexpr bool is_modulo  = __base::is_modulo;

  static constexpr bool traps                    = __base::traps;
  static constexpr bool tinyness_before          = __base::tinyness_before;
  static constexpr float_round_style round_style = __base::round_style;
};

template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_specialized;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::digits;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::digits10;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::max_digits10;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_signed;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_integer;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_exact;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::radix;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::min_exponent;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::min_exponent10;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::max_exponent;
template <class _Tp>
constexpr int numeric_limits<const volatile _Tp>::max_exponent10;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::has_infinity;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::has_quiet_NaN;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::has_signaling_NaN;
template <class _Tp>
constexpr float_denorm_style numeric_limits<const volatile _Tp>::has_denorm;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::has_denorm_loss;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_iec559;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_bounded;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::is_modulo;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::traps;
template <class _Tp>
constexpr bool numeric_limits<const volatile _Tp>::tinyness_before;
template <class _Tp>
constexpr float_round_style numeric_limits<const volatile _Tp>::round_style;

_LIBCUDACXX_END_NAMESPACE_STD

_CCCL_POP_MACROS

#endif // _LIBCUDACXX_LIMITS
