special-case +/-oo in _Inequality
quick