Better Coordinate.hashCode() for small z/x/y values.