From 433e33875836ed5d1277a05a1c2a4ed035e89929 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/c/urweb.c | 4 ++-- src/mysql.sml | 2 +- src/postgres.sml | 2 +- src/sqlite.sml | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/c/urweb.c b/src/c/urweb.c index 4ff7a218..8bd5ada9 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -1622,7 +1622,7 @@ char *uw_Basis_attrifyFloat(uw_context ctx, uw_Basis_float n) { int len; uw_check_heap(ctx, FLOATS_MAX); result = ctx->heap.front; - sprintf(result, "%g%n", n, &len); + sprintf(result, "%.16g%n", n, &len); ctx->heap.front += len+1; return result; } @@ -2406,7 +2406,7 @@ char *uw_Basis_sqlifyIntN(uw_context ctx, uw_Basis_int *n) { return uw_Basis_sqlifyInt(ctx, *n); } -char *uw_sqlfmtFloat = "%g::float8%n"; +char *uw_sqlfmtFloat = "%.16g::float8%n"; char *uw_Basis_sqlifyFloat(uw_context ctx, uw_Basis_float n) { int len; diff --git a/src/mysql.sml b/src/mysql.sml index f708da04..c70a1cdd 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -385,7 +385,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, 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, 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