for a, b being Real st b - a <= 1 holds
IntIntervals (a,b) is mutually-disjoint