Another bogus range from .invert so don't use it. From _1 < _2 we conclude [-INF, +INF - 1] and invert it as [+INF, +INF] - oops. Compute the other edge range explicitely.