Adam DePrince wrote: > It just happens that the > logical operation > > (a is b ) -> (a == b ) > > is always True. That is incorrect: >>> inf = 1e300*1e300 >>> nan = inf-inf >>> nan is nan, nan==nan (True, False)