Rewrite interval_hash() so that the hashcodes are equal for values that