diff --git a/SMT/src/org/smtlib/sexpr/Printer.java b/SMT/src/org/smtlib/sexpr/Printer.java
index 1e11c57..61d7248 100644
--- a/SMT/src/org/smtlib/sexpr/Printer.java
+++ b/SMT/src/org/smtlib/sexpr/Printer.java
@@ -131,7 +131,7 @@ public Void visit(ISymbol e) throws IVisitor.VisitorException { // FIX - need s-
 	/*@Nullable*/
 	@Override
 	public Void visit(IDecimal e) throws IVisitor.VisitorException {
-		try { w.append(e.value().toString()); } catch (IOException ex) { throw new IVisitor.VisitorException(ex); }
+		try { w.append(e.value().toPlainString()); } catch (IOException ex) { throw new IVisitor.VisitorException(ex); }
 		return null;
 	}