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