Just a comment. The semantics of Na is something like "value is not known". So if x is Na, and you ask whether x is equal to 2, the correct answare is really Na, since it is not known. X==2 cannot be proven and excluded.