On 02/24/2016 10:18 AM, Nicolas Richard wrote: > Lars Ingebrigtsen writes: >> Well, `plusp' is defined as "bigger than zero"... Once you've learned >> that, it's unambiguous. > > FWIW I don't think "bigger than zero" is unambiguous. Maybe that's > because I'm not a native english speaker. Same here; not a native speaker either. Greater than 0 doesn't mean the same in French and in English.