On Thu, Nov 14, 2013 at 08:32:14AM -0800, Julien Rioux wrote:
>    Shouldn't <= 0 be translated to is_nonpositive?

Yes, definitely.  Done.