From d89fd37a66ab73ea7eba5e2574c4e679c4026f0b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 3 Dec 2013 16:54:04 -0500
Subject: Increase precision for rendering floats to SQL

---
 src/postgres.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/postgres.sml')

diff --git a/src/postgres.sml b/src/postgres.sml
index 44101527..41529173 100644
--- a/src/postgres.sml
+++ b/src/postgres.sml
@@ -376,7 +376,7 @@ fun init {dbstring, prepared = ss, tables, views, sequences} =
          newline,
          box [string "uw_sqlfmtInt = \"%lld::int8%n\";",
               newline,
-              string "uw_sqlfmtFloat = \"%g::float8%n\";",
+              string "uw_sqlfmtFloat = \"%.16g::float8%n\";",
               newline,
               string "uw_Estrings = 1;",
               newline,
-- 
cgit v1.2.3