adding isNaN to prelude