Created the ConcreteIntegers library