Mercurial > urweb
diff src/mysql.sml @ 1920:2f33d9a51765
Increase precision for rendering floats to SQL
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 03 Dec 2013 16:54:04 -0500 |
parents | d8c260bcc1f9 |
children | 6745eafff617 |
line wrap: on
line diff
--- a/src/mysql.sml Sun Dec 01 16:28:02 2013 -0500 +++ b/src/mysql.sml Tue Dec 03 16:54:04 2013 -0500 @@ -385,7 +385,7 @@ newline, box [string "uw_sqlfmtInt = \"%lld%n\";", newline, - string "uw_sqlfmtFloat = \"%g%n\";", + string "uw_sqlfmtFloat = \"%.16g%n\";", newline, string "uw_Estrings = 0;", newline,