Specialization point for max_value.
Has to contain a type called type of the form std::integral_constant<Type,max_value>, e.g.
type
std::integral_constant<Type,max_value>