inthash: integer hashing functions