Inequalities: make sure both sides are real when looking at difference

````
    Fixes #8288.  When subtracting lhs - rhs we should be careful they
    are real, otherwise could cancel non-real bits.  Add tests.
    
    Also, these should not simplify, add a XFAIL test for that.
````