or(%nan)==%F : should be %T, since and(%nan)==%T
@sgougeon)
Reported by Samuel GOUGEON (BUG DESCRIPTION:
----------------
Let s = %nan be a real with an unknown value.
We have: prob(s==0)/prob(s~=0) = 0
in such a way that we should set or(%nan)==%T
But this is currently not the case.
Even worse: we have inconsistently: and(%nan)==%T, or(%nan)==%F :
--> and(%nan)
ans =
T
--> or(%nan)
ans =
F
HOW TO REPRODUCE THE BUG:
-------------------------
and(%nan)
or(%nan)