@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)); }