Better handle infinity in inequality solver.

fixes #8252 
Remember that for old assumptions is_real not implies is_finite.  I.e. our "reals" are extended reals.  But see #8134.