rounding math not added by CGAL config