diff --git a/Kinetic_data_structures/include/CGAL/Kinetic/internal/Instantaneous_adaptor.h b/Kinetic_data_structures/include/CGAL/Kinetic/internal/Instantaneous_adaptor.h
index 82e689405be..41683f035e2 100644
--- a/Kinetic_data_structures/include/CGAL/Kinetic/internal/Instantaneous_adaptor.h
+++ b/Kinetic_data_structures/include/CGAL/Kinetic/internal/Instantaneous_adaptor.h
@@ -57,7 +57,7 @@ public:
       ret= pred_(rep_->static_object(arg0));
       //check= kpred_(rep_->kinetic_object(arg0), rep_->time());
     } else {
-      ret= kpred_(rep_->kinetic_object(arg0), rep_->time());
+      ret= static_cast<result_type>(kpred_(rep_->kinetic_object(arg0), rep_->time()));
     }
     return ret;
   }
@@ -73,7 +73,7 @@ public:
       //CGAL_assertion(ret==check || ret== CGAL::ZERO);
       return ret;
     } else {
-      return kpred_(rep_->kinetic_object(arg0), rep_->kinetic_object(arg1), rep_->time());
+      return static_cast<result_type>(kpred_(rep_->kinetic_object(arg0), rep_->kinetic_object(arg1), rep_->time()));
     }
   }
 
@@ -85,8 +85,8 @@ public:
     return pred_(rep_->static_object(arg0), rep_->static_object(arg1),
 		 rep_->static_object(arg2));
   } else {
-      return kpred_(rep_->kinetic_object(arg0), rep_->kinetic_object(arg1),
-		    rep_->kinetic_object(arg2), rep_->time());
+      return static_cast<result_type>(kpred_(rep_->kinetic_object(arg0), rep_->kinetic_object(arg1),
+					     rep_->kinetic_object(arg2), rep_->time()));
     }
   }
 
@@ -99,7 +99,7 @@ public:
       return pred_(rep_->static_object(arg0), rep_->static_object(arg1),
 		   rep_->static_object(arg2), rep_->static_object(arg3));
     } else {
-      return result_type(kpred_(rep_->kinetic_object(arg0),rep_->kinetic_object(arg1),
+      return static_cast<result_type>(kpred_(rep_->kinetic_object(arg0),rep_->kinetic_object(arg1),
 				rep_->kinetic_object(arg2), rep_->kinetic_object(arg3), rep_->time()));
     }
   }
@@ -115,9 +115,9 @@ public:
 		   rep_->static_object(arg2), rep_->static_object(arg3),
 		   rep_->static_object(arg4));
     } else {
-      return kpred_(rep_->kinetic_object(arg0),rep_->kinetic_object(arg1),
-		    rep_->kinetic_object(arg2), rep_->kinetic_object(arg3),
-		    rep_->kinetic_object(arg4), rep_->time());
+      return static_cast<result_type>(kpred_(rep_->kinetic_object(arg0),rep_->kinetic_object(arg1),
+					     rep_->kinetic_object(arg2), rep_->kinetic_object(arg3),
+					     rep_->kinetic_object(arg4), rep_->time()));
     }
   }
 
diff --git a/Kinetic_data_structures/test/Polynomial_kernel/numeric_solvers.cpp b/Kinetic_data_structures/test/Polynomial_kernel/numeric_solvers.cpp
index 4c3397192da..8c6d1a3bde2 100644
--- a/Kinetic_data_structures/test/Polynomial_kernel/numeric_solvers.cpp
+++ b/Kinetic_data_structures/test/Polynomial_kernel/numeric_solvers.cpp
@@ -186,7 +186,7 @@ int main(int argc, char* argv[])
         std::cout << std::endl;
     }
 #endif
-    {
+    if (0) {
         if (verbose) std::cout <<"Inter______________________________________\n";
         else std::cout << "Interval &\t";
 	typedef CGAL_POLYNOMIAL_NS::Kernel<Pd, Interval_root_stack> K;