Precision: 1.65e-10
match ;  cgal_halfedges          ; GREPFIELD(out, 'halfedges:', 2) ; 16452.0