dist() returns int

Note that we can't use unsigned int, or we would have to redefine a ton of
operators...

No functional change.