From d89fd37a66ab73ea7eba5e2574c4e679c4026f0b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 3 Dec 2013 16:54:04 -0500 Subject: Increase precision for rendering floats to SQL --- src/sqlite.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/sqlite.sml') diff --git a/src/sqlite.sml b/src/sqlite.sml index 4ec64788..09c4c683 100644 --- a/src/sqlite.sml +++ b/src/sqlite.sml @@ -160,7 +160,7 @@ fun init {dbstring, prepared = ss, tables, views, sequences} = newline, box [string "uw_sqlfmtInt = \"%lld%n\";", newline, - string "uw_sqlfmtFloat = \"%g%n\";", + string "uw_sqlfmtFloat = \"%.16g%n\";", newline, string "uw_Estrings = 0;", newline, -- cgit v1.2.3