diff --git a/resources/3rdparty/modernjson/src/json.hpp b/resources/3rdparty/modernjson/src/json.hpp
index e98b57a40..89f426b1a 100755
--- a/resources/3rdparty/modernjson/src/json.hpp
+++ b/resources/3rdparty/modernjson/src/json.hpp
@@ -9055,7 +9055,11 @@ Format](http://rfc7159.net/rfc7159)
         */
         template <typename FloatValueType>
         FloatValueType str_to_float_t(FloatValueType* /* type */) const {
-            return storm::utility::convertNumber<FloatValueType, std::string>(std::string(reinterpret_cast<typename string_t::const_pointer>(m_start)));
+            // Use std::strtod to get the position where the number ends. Then parse it as a rational Number
+            char const* strptr = reinterpret_cast<typename string_t::const_pointer>(m_start);
+            char* end_pos;
+            std::strtod(strptr, &end_pos);
+            return storm::utility::convertNumber<FloatValueType, std::string>(std::string(strptr, end_pos - strptr));
         }
             
         template <>