simulator: consider NaN when comparing with floating point number.