Added dummy constructor to IntegerINterval.