diff --git a/src/storm/utility/DirectEncodingExporter.cpp b/src/storm/utility/DirectEncodingExporter.cpp
index 9953a4108..ec29cbe1e 100644
--- a/src/storm/utility/DirectEncodingExporter.cpp
+++ b/src/storm/utility/DirectEncodingExporter.cpp
@@ -73,7 +73,7 @@ namespace storm {
                     }
 
                     if(rewardModelEntry.second.hasStateRewards()) {
-                        os << rewardModelEntry.second.getStateRewardVector().at(group);
+                        os << storm::utility::to_string(rewardModelEntry.second.getStateRewardVector().at(group));
                     } else {
                         os << "0";
                     }