Complex inequalities are buggy, e.g., I < I + 2 is True

This must be well-known, anyway, here are some tests for wrong things I've found.

Related to #5724