I don't remember. It seems like std::hash<int64_t> should be fine.