Fix race hashing to correctly simulate 32bit integer overflow