Refactor processing of inequalities with oo/-oo, fixes #7775

+1: I think `is_real` -> `is_complex` so need to check `is_complex` here