On Thu, Nov 13, 2014 at 5:20 PM, Mario Blažević <mblazevic@stilo.com> wrote:
        Regarding the partial vs. saturated negation, I'm in favour of the former. However, there is another option nobody mentioned so far: NaN

NaN is only defined in the context of IEEE floating point; as such, it is not available for this use.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net