cgal and dexmathX