diff --git a/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h b/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h
index 43963084ecc..89f988510ae 100644
--- a/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h
+++ b/Kinetic_data_structures/include/CGAL/Kinetic/Simulation_traits.h
@@ -82,18 +82,18 @@ protected:
 
 struct Suggested_exact_simulation_traits_types
 {
-  /* typedef CGAL::Simple_cartesian<CGAL::Gmpq> Static_kernel;
+   typedef CGAL::Simple_cartesian<CGAL::Gmpq> Static_kernel;
      typedef Static_kernel::FT NT;
-     typedef CGAL::POLYNOMIAL::Polynomial<NT> Function;*/
+     typedef CGAL::POLYNOMIAL::Polynomial<NT> Function;
   //typedef CGAL::POLYNOMIAL::Upper_bound_root_stack_Descartes_traits<Function> Root_stack_traits;
   //typedef CGAL::POLYNOMIAL::Upper_bound_root_stack<Root_stack_traits> Root_stack;
-  /*typedef CGAL::POLYNOMIAL::Sturm_root_stack_traits<Function> Root_stack_traits;
+  typedef CGAL::POLYNOMIAL::Sturm_root_stack_traits<Function> Root_stack_traits;
     typedef CGAL::POLYNOMIAL::Sturm_root_stack<Root_stack_traits> Root_stack;
-    typedef CGAL::POLYNOMIAL::Kernel<Function, Root_stack> Function_kernel;*/
+    typedef CGAL::POLYNOMIAL::Kernel<Function, Root_stack> Function_kernel;
 
-  typedef CGAL::Simple_cartesian<CORE::Expr> Static_kernel;
+  /*typedef CGAL::Simple_cartesian<CORE::Expr> Static_kernel;
   typedef Static_kernel::FT NT;
-  typedef CGAL::POLYNOMIAL::CORE_kernel Function_kernel;
+  typedef CGAL::POLYNOMIAL::CORE_kernel Function_kernel;*/
 
   struct Simulator_function_kernel: public CGAL::Kinetic::Handle_degeneracy_function_kernel<Function_kernel> {};
   typedef CGAL::Kinetic::Cartesian_kinetic_kernel<Simulator_function_kernel> Kinetic_kernel;
diff --git a/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h b/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h
index e027843e20d..0480636bb3e 100644
--- a/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h
+++ b/Kinetic_data_structures/include/CGAL/Polynomial/internal/Double_with_infinity.h
@@ -58,6 +58,10 @@ struct Double_with_infinity {
   bool is_even_multiplicity() const {
     return false;
   }
+
+  std::pair<double, double> isolating_interval() const {
+    return std::make_pair(d_, d_);
+  }
   
 protected:
   double d_;