Re: [graph-tool] How to set the precision of clustering