The main changes are these:
- cleaner semantics for equality and order between floats and integers
Great! Thanks!
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).