isnan defs