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