lue false.<p>

      The arithmetic operators addition, subtraction, multiplication,
      division, and remainder have the usual meaning as long as the
      values of all operands and results lie in the range permitted by
      the mapping from Obr objects to target machine objects.
      Division and remainder are defined only when the value of the
      right operand is nonzero.<p>

      The result of an integer division operation with dividend m and
      divisor n # 0 is determined as follows:

     