cpp/types/numeric limits/is bounded

The value of is  for all arithmetic types  that represent a finite set of values. While all fundamental types are bounded, this constant would be in a specialization of std for a library-provided arbitrary precision arithmetic type.