This value is true if the type is modulo. A type is modulo if it is possible to add two positive numbers and have a result that wraps around to a third number that is less.
static const bool is_modulo = false;
This value is generally true for unsigned integral types and false for floating point types.