diff --git a/verireal.cc b/verireal.cc
index 78827facd..b02c47ab8 100644
--- a/verireal.cc
+++ b/verireal.cc
@@ -174,6 +174,6 @@ verireal operator- (const verireal&l)
 
 ostream& operator<< (ostream&out, const verireal&v)
 {
-      out << v.value_;
+      out << showpoint << v.value_;
       return out;
 }