diff --git a/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv.cpp b/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv.cpp
index e3ab46c85a5..7fb57529184 100644
--- a/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv.cpp
+++ b/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv.cpp
@@ -28,7 +28,7 @@ void create_center_vertex( Polyhedron& P, Facet_iterator f) {
         ++ order;
     } while ( ++h != f->facet_begin());
     CGAL_assertion( order >= 3); // guaranteed by definition of polyhedron
-    Point center =  CGAL::ORIGIN + (vec / order);
+    Point center =  CGAL::ORIGIN + (vec / static_cast<double>(order));
     Halfedge_handle new_center = P.create_center_vertex( f->halfedge());
     new_center->vertex()->point() = center;
 }
@@ -42,7 +42,7 @@ struct Smooth_old_vertex {
         HV_circulator h = v.vertex_begin();
         do {
             vec = vec + ( h->opposite()->vertex()->point() - CGAL::ORIGIN)
-                       * alpha / degree;
+              * alpha / static_cast<double>(degree);
             ++ h;
             CGAL_assertion( h != v.vertex_begin()); // even degree guaranteed
             ++ h;
diff --git a/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv_with_boundary.cpp b/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv_with_boundary.cpp
index 31861af9210..96eb892efaa 100644
--- a/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv_with_boundary.cpp
+++ b/Polyhedron/examples/Polyhedron/polyhedron_prog_subdiv_with_boundary.cpp
@@ -30,7 +30,7 @@ void create_center_vertex( Polyhedron& P, Facet_iterator f) {
         ++ order;
     } while ( ++h != f->facet_begin());
     CGAL_assertion( order >= 3); // guaranteed by definition of polyhedron
-    Point center =  CGAL::ORIGIN + (vec / order);
+    Point center =  CGAL::ORIGIN + (vec / static_cast<double>(order));
     Halfedge_handle new_center = P.create_center_vertex( f->halfedge());
     new_center->vertex()->point() = center;
 }
@@ -53,7 +53,7 @@ struct Smooth_old_vertex {
                 return v.point();
             }
             vec = vec + ( h->opposite()->vertex()->point() - CGAL::ORIGIN)
-                       * alpha / degree;
+              * alpha / static_cast<double>(degree);
             ++ h;
             CGAL_assertion( h != v.vertex_begin()); // even degree guaranteed
             ++ h;