Correct NaN implementation and specs.