WIP: Equality: if diff b/w lhs and rhs is positive or negative, return false

On top of #7838.