Axiom isNaN : R -> Prop.
