@Override
 protected ITerm makeNumberImpl(BigInteger pI) {
   return new IIntLit(IdealInt.apply(pI.toString()));
 }
 @Override
 protected ITerm makeNumberImpl(String pI) {
   return new IIntLit(IdealInt.apply(pI));
 }
 @Override
 protected ITerm makeNumberImpl(long i) {
   return new IIntLit(IdealInt.apply(i));
 }