From 6dec8ca659a7478bf4fc76d005ee701727ae18a1 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 26 Sep 2018 14:39:00 +0200
Subject: [PATCH] Increased precision of parsing of floating point numbers

---
 src/storm-parsers/parser/JaniParser.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/storm-parsers/parser/JaniParser.cpp b/src/storm-parsers/parser/JaniParser.cpp
index a5cc1c792..202a8931e 100644
--- a/src/storm-parsers/parser/JaniParser.cpp
+++ b/src/storm-parsers/parser/JaniParser.cpp
@@ -1004,9 +1004,7 @@ namespace storm {
             } else if (expressionStructure.is_number_integer()) {
                 return expressionManager->integer(expressionStructure.get<int64_t>());
             } else if (expressionStructure.is_number_float()) {
-                // For now, just take the double.
-                // TODO make this a rational number
-                return expressionManager->rational(expressionStructure.get<double>());
+                return expressionManager->rational(storm::utility::convertNumber<storm::RationalNumber>(expressionStructure.dump()));
             } else if (expressionStructure.is_string()) {
                 std::string ident = expressionStructure.get<std::string>();
                 return storm::expressions::Expression(getVariableOrConstantExpression(ident, scope, auxiliaryVariables));