diff --git a/src/storm/utility/file.h b/src/storm/utility/file.h
index c089eb45a..f5ba06f4a 100644
--- a/src/storm/utility/file.h
+++ b/src/storm/utility/file.h
@@ -22,6 +22,7 @@ namespace storm {
                 filestream.open(filepath);
             }
             STORM_LOG_THROW(filestream, storm::exceptions::FileIoException , "Could not open file " << filepath << ".");
+            filestream.precision(10);
             if (!silent) {
                 STORM_PRINT_AND_LOG("Write to file " << filepath << "." << std::endl);
             }