diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 6f38b966..7abd9d12 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3192,7 +3192,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		mainLog.println("\n" + resultString);
 
 		if (result.getResult() instanceof BigRational) {
-			mainLog.println("Approximate result: " + ((BigRational)result.getResult()).doubleValue());
+			mainLog.println(" As floating point: " + ((BigRational)result.getResult()).toApproximateString());
 		}
 
 		return result;