fixed some number conversions that did not work for CLN numbers

src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp

@@ -170,7 +170,7 @@ namespace storm {
                 if (isSolution) {
                     status = SolverStatus::Converged;
                 } else {
-                    precision /= 10;
+                    precision /= storm::utility::convertNumber<ValueType, uint64_t>(10);
                 }
             }
             

src/storm/solver/SymbolicNativeLinearEquationSolver.cpp

@@ -218,7 +218,7 @@ namespace storm {
                 if (isSolution) {
                     status = SolverStatus::Converged;
                 } else {
-                    precision /= 10;
+                    precision /= storm::utility::convertNumber<ValueType, uint64_t>(10);
                 }
             }
             

src/storm/storage/dd/bisimulation/QuotientExtractor.cpp

@@ -986,7 +986,7 @@ namespace storm {
                     } else {
                         STORM_LOG_ASSERT(quotientTransitionMatrix.greater(storm::utility::one<ValueType>() + storm::utility::convertNumber<ValueType>(1e-6)).isZero(), "Illegal entries in quotient matrix.");
                     }
-                    STORM_LOG_ASSERT(quotientTransitionMatrix.sumAbstract(blockPrimeVariableSet).equalModuloPrecision(quotientTransitionMatrix.notZero().existsAbstract(blockPrimeVariableSet).template toAdd<ValueType>(), ValueType(1e-6)), "Illegal non-probabilistic matrix.");
+                    STORM_LOG_ASSERT(quotientTransitionMatrix.sumAbstract(blockPrimeVariableSet).equalModuloPrecision(quotientTransitionMatrix.notZero().existsAbstract(blockPrimeVariableSet).template toAdd<ValueType>(), storm::utility::convertNumber<ValueType>(1e-6)), "Illegal non-probabilistic matrix.");
                     
                     STORM_LOG_TRACE("Quotient transition matrix extracted in " << std::chrono::duration_cast<std::chrono::milliseconds>(end - start).count() << "ms.");