now works with empty sets. added integer_interval.h.