From 417ea603cae68480467d251426005fc0583384fa Mon Sep 17 00:00:00 2001
From: "Joachim Wuttke (h)" <j.wuttke@fz-juelich.de>
Date: Thu, 2 May 2024 10:29:12 +0200
Subject: [PATCH] ReadWriteINT: increase output precision from 12 to 16 digits

---
 Device/IO/ReadWriteINT.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Device/IO/ReadWriteINT.cpp b/Device/IO/ReadWriteINT.cpp
index 6ee9a10b25f..5bea51e1449 100644
--- a/Device/IO/ReadWriteINT.cpp
+++ b/Device/IO/ReadWriteINT.cpp
@@ -27,7 +27,7 @@ void writeBlock(const std::vector<double>& values, std::ostream& output_stream,
                 size_t ncols)
 {
     output_stream.imbue(std::locale::classic());
-    output_stream << std::scientific << std::setprecision(12);
+    output_stream << std::scientific << std::setprecision(16);
 
     ASSERT(values.size() == nrows * ncols);
     for (size_t col = 0; col < ncols; ++col) {
-- 
GitLab