Create IntegerSet.h