bugfix: overflow of graphx Edge compare function