ConstrainedTypeArithmetic, shouldSupportModulusOperationWhenUnderlyingTypeIsOnLeft