* If hashing a pointer, cast it to a 64 bit number so gcc doesn't warn