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