static const bool is_modulo = false;
The member stores true for a type that has a modulo representation, where all results are reduced modulo some value (which is the case for all predefined unsigned integer types).
See the related numeric_limits sample program.