hashing: make new hashing work on 32-bit systems.
isequal, isless: bring comparison and sorting in line with new hashing.