faster (i think) hashing of ints