FIX: int-hashtables were broken for uint64 keys, introduce hash_t::diff_type for differences of key_t values (adapted and backproted from Standard)