code: @NonNull
    public static Term divide(@NonNull Term left, @NonNull Term right) {
      return new BinaryArithmeticTerm(ArithmeticOperator.QUOTIENT, left, right);
    }
docs: The quotient of two terms, as in {@code WHERE k = left / right}.