Use nonequality definition from stdlib