Ah, for some reason on my phone the gear is only there on my own posts. Mobile browsing is always a little caveat emptor.

Also i think we can fix the problem by adding a \$$-\infty\$$ value, and setting \$${-\infty} + {+\infty} = -\infty\$$