@Override
public Sexp visit(IntExpr e) {
return Sexp.fromBigInt(e.value);
}
@Override
public Sexp visit(RealExpr e) {
Sexp numerator = Sexp.fromBigInt(e.value.unscaledValue());
Sexp denominator = Sexp.fromBigInt(BigDecimal.TEN.pow(e.value.scale()).toBigInteger());
return new Cons("/", numerator, denominator);
}
@Override
public Sexp visit(BoolExpr e) {
return Sexp.fromBoolean(e.value);
}