In Python 3 object.__hash__ raises TypeError, so we need an explicit
override if we want hashability.