> Hi.
> 
> >Zero is not a positive integer.  
> 
> 0 positive <alt-p> true
> 0.0 positive <alt-p> true
> 
> Andres.

Yes, the blue book got this wrong.  I am after the ANSI commitee to have this
particular message removed from the draft.  I've seen several bugs due to
this, and no advantages for keeping it.

If you want a laugh, look at the X3J20 definition for this message.

-- Mike Klein