Modulo

The remainder of arithLeft divided by arithRight, computed as a - b * floor(a / b) so the result takes the sign of the divisor (floored modulo - deterministic and well-defined for negatives). arithRight must be non-zero at runtime.