Created the IntegerSets library