Evaluate dif for inequalities only if arguments are reals

fixes #8288
I don't know about hyperexpand