code: @Override
      public AtomicValue operate(final AtomicValue mOperand1, final AtomicValue mOperand2)
          throws TTXPathException {
  
          final Type returnType = getReturnType(mOperand1.getTypeKey(), mOperand2.getTypeKey());
          final int typeKey = NamePageHash.generateHashForString(returnType.getStringRepr());
  
          final byte[] value;
  
          try {
              final int op1 = (int)Double.parseDouble(new String(mOperand1.getRawValue()));
              final int op2 = (int)Double.parseDouble(new String(mOperand2.getRawValue()));
              final int iValue = op1 / op2;
              value = TypedValue.getBytes(iValue);
              return new AtomicValue(value, typeKey);
          } catch (final ArithmeticException e) {
              // LOGWRAPPER.error(e);
              throw new XPathError(ErrorType.FOAR0001);
          }
  
      }
docs: {@inheritDoc}