Improve evaluation of relationals with -oo if "other" arg is positive

fixes #8449
positive -> nonnegative here and below (and update tests)?