Create IntegerSet.cpp