Closed karlhigley closed 9 years ago
The precision of a Double isn't necessary for the simple comparisons that are used, and this saves a few bytes per graph edge (which adds up quickly).
The precision of a Double isn't necessary for the simple comparisons that are used, and this saves a few bytes per graph edge (which adds up quickly).