diff --git a/libmeanfield/interface/solver/enthalpy_admissibility.cppm b/libmeanfield/interface/solver/enthalpy_admissibility.cppm
index 09c63f7..7ac9100 100644
--- a/libmeanfield/interface/solver/enthalpy_admissibility.cppm
+++ b/libmeanfield/interface/solver/enthalpy_admissibility.cppm
@@ -62,7 +62,8 @@ export namespace mean_field::solver {
 namespace mean_field::solver::enthalpy_detail {
     static_assert(std::numeric_limits<double>::is_iec559 && std::numeric_limits<double>::radix == 2 &&
                   std::numeric_limits<double>::digits == 53 && std::numeric_limits<double>::max_exponent == 1024 &&
-                  std::numeric_limits<double>::has_denorm == std::denorm_present,
+                  std::numeric_limits<double>::denorm_min() > 0.0 &&
+                  std::numeric_limits<double>::denorm_min() < std::numeric_limits<double>::min(),
                   "Polynomial enthalpy certification requires IEEE 754 binary64 with subnormal support.");
 
     // Bounds concern the represented polynomial, not a tolerance-relaxed EOS.