public object inc(object x) { BigInteger bx = toBigInteger(x); return reduce(bx.add(BigIntegerOne)); }