[Note: The requirements listed in this specification
are the ones imposed by the default implementation. See Numeric Metafunction concept
for the details on how to provide an implementation for a user-defined numeric type
that does not satisfy the Integral Constant requirements. — end note]