ConstrainedTypeArithmetic, shouldSupportModulusOperationWhenUnderlyingTypeIsOnRight