diff --git a/src/adiar/internal/algorithms/quantify.h b/src/adiar/internal/algorithms/quantify.h
index ad914b9ff..83a1b76da 100644
--- a/src/adiar/internal/algorithms/quantify.h
+++ b/src/adiar/internal/algorithms/quantify.h
@@ -908,11 +908,11 @@ namespace adiar::internal
       const size_t dd_size = dd.size();
 
       // Do Partial Quantification as long as...
-      //   1. ... it stays smaller than 1+epsilon% of the input size.
-      const size_t transposition__size_threshold = static_cast<size_t>(
-        std::min<double>(std::numeric_limits<size_t>::max(),
-                         ep.template get<exec_policy::quantify::transposition_growth>()
-                           * static_cast<double>(dd_size)));
+      //   1. ... it stays smaller than 1+epsilon of the input size.
+      const size_t transposition__size_threshold =
+        (std::min(static_cast<double>(std::numeric_limits<size_t>::max() / 2u),
+                  static_cast<double>(ep.template get<exec_policy::quantify::transposition_growth>())
+                  * static_cast<double>(dd_size)));
 
       //   2. ... it has not run more than the maximum number of iterations.
       const size_t transposition__max_iterations =