[graph-tool] real-valued correlates