Fixed overflow bug in IntegerSet.