diff --git a/Point_set_processing_3/include/CGAL/IO/read_ply_points.h b/Point_set_processing_3/include/CGAL/IO/read_ply_points.h
index 1dd14548a94..094e3ac7633 100644
--- a/Point_set_processing_3/include/CGAL/IO/read_ply_points.h
+++ b/Point_set_processing_3/include/CGAL/IO/read_ply_points.h
@@ -92,10 +92,19 @@ namespace CGAL {
   };
 
   /// \cond SKIP_IN_MANUAL
+
+  // Use a double property for all kernels...
+  template <typename FT> struct Convert_FT        { typedef double type; };
+  // ...except if kernel uses type float
+  template <>            struct Convert_FT<float> { typedef float type;  };
+    
   template <typename PointOrVectorMap>
   struct GetFTFromMap
   {
-    typedef typename Kernel_traits<typename boost::property_traits<PointOrVectorMap>::value_type>::Kernel::FT type;
+    typedef typename Convert_FT
+    <typename Kernel_traits
+     <typename boost::property_traits
+      <PointOrVectorMap>::value_type>::Kernel::FT>::type type;
   };
   /// \endcond