Use a 64-bit integer for the JSON hash, for 64bit machines