Better handle infinity in inequality solver.

fixes #8252 
is this was broken?  I don't think so.