diff --git a/prism/src/parser/Values.java b/prism/src/parser/Values.java
index 1d4593ae..08d5a46e 100644
--- a/prism/src/parser/Values.java
+++ b/prism/src/parser/Values.java
@@ -37,6 +37,7 @@ import parser.type.TypeDouble;
 import parser.type.TypeInt;
 import prism.ModelInfo;
 import prism.PrismLangException;
+import prism.PrismUtils;
 
 /**
  * Class to store a list of typed constant/variable values.
@@ -486,9 +487,7 @@ public class Values //implements Comparable
 		String s;
 		
 		if (o instanceof Double) {
-			NumberFormat nf = DecimalFormat.getInstance(Locale.UK);
-			nf.setMaximumFractionDigits(6);
-			s = nf.format(((Double)o).doubleValue());
+			s = PrismUtils.formatDouble((double)o);
 		} else {
 			s = o.toString();
 		}