isn't NaN a part of the float spec