I can't find an implementation of this operator. It must be there because your code compiles but I can't find it. I ask because I remember some rather "philosophical" discussions about when exactly two points can be considered identical/not identical.