Is there any actual value to this? Isn't all we actually care about whether keys are equal or not?