static int minus1(int i) { ret i-1; }
static BigInteger minus1(BigInteger i) { ret minus(i, bigint(1)); }