Return an int for __hash__