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