Assertions involving NaN

[xavierleroy]

You can also use Float.compare x y = 0 instead of x = y. Float.compare compares NaNs equal and Nan and non-NaN different.