> By the way, there is a single case of wrong comparison with NaN: > print(1<<63 <= 0/0) --> true > It is hardly dangerous, just curious (I'm not proposing to fix it). Thanks for the report. (Of course it must be fixed; it is a bug.) -- Roberto