Use builtin hash(Integer.p) to compute hash(Integer), fix #5072
Use cmp_to_key(Basic.compare) in _addsort, like _mulsort in mul.py