point conversion between cgal.h kernel and tess3d.cc kernel