Evaluate dif for inequalities only if arguments are reals

fixes #8288
Such places in the integrals/hyperexpand need reviewers.  @smichr, @ness01 ?

Anyway, I think it's a good candidate for next release.