std::string pp(const Point_3& point) { std::stringstream out; out << std::setprecision(pp_precision); if (point.id() != DEFAULT_ID()) out << "(" << point.x() << "," << point.y() << "," << point.z() << "; " << point.id() << ")"; else out << "(" << point.x() << "," << point.y() << "," << point.z() << "; -1)"; return out.str(); }