"Semantics of arithmetic operations exactly mimic those of Java's integer arithmetic operators, as defined in The Java Language Specification. For example, division by zero throws an
ArithmeticException, and division of a negative by a positive yields a negative (or zero) remainder." Reverbel