Membership in the sets of numbers and divisibility, for the compilers, on the terms evaluation decides
them: no truth value at NaN, an infinity in RR and CC as evaluation has it and in
none of the sets of whole numbers, and primality by the interpreter's own test. Divisibility is a statement about whole numbers, and has no truth value at any other.
https://github.com/asc-community/AngouriMath/issues/2195