Shall we also check isNan() just in case?