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.
2 files changed