From c891bf846cd2586a782bfb9481dc96112a86d01d Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 17 Jan 2021 23:01:37 +0100
Subject: [PATCH] reduce precision to avoid false rounding

---
 src/frontend/numparam/xpressn.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index 03411a3d3..3d90c710e 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -1063,7 +1063,7 @@ static void
 double_to_string(DSTRINGPTR qstr_p, double value)
 {
     char buf[ACT_CHARACTS + 1];
-    if (snprintf(buf, sizeof(buf), "% 25.17e", value) != ACT_CHARACTS) {
+    if (snprintf(buf, sizeof(buf), "% 23.15e  ", value) != ACT_CHARACTS) {
         fprintf(stderr, "ERROR: xpressn.c, %s(%d)\n", __FUNCTION__, __LINE__);
         controlled_exit(1);
     }