ConstrainedTypeArithmetic, shouldSupportModulusOperation