DIFF/"!=" operation implementation

Not sure if this one was not implemented intentionally for some reason.