← On the Definition of Integer Division and Modulus in ...