diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index 093ea6ae7..4fd2a98a0 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -45,7 +45,7 @@ namespace carl {
 
 namespace storm {
 //    typedef boost::multiprecision::gmp_rational RationalNumber;
-    typedef mpq_class RationalNumber;
+    typedef boost::multiprecision::number<boost::multiprecision::gmp_rational> RationalNumber;
     
     typedef cln::cl_RA CarlRationalNumber;
     typedef carl::Variable Variable;