diff --git a/vhdlpp/main.cc b/vhdlpp/main.cc
index 45fb02e9d..f0351dcd9 100644
--- a/vhdlpp/main.cc
+++ b/vhdlpp/main.cc
@@ -82,6 +82,7 @@ const char NOTICE[] =
 # include  <cstdlib>
 # include  <cstring>
 # include  <cerrno>
+# include  <limits>
 #if defined(HAVE_GETOPT_H)
 # include  <getopt.h>
 #endif
@@ -178,6 +179,7 @@ int main(int argc, char*argv[])
 	    }
       }
 
+      std::cout.precision(std::numeric_limits<double>::digits10);
       library_set_work_path(work_path);
 
       preload_global_types();