On Mon, Aug 30, 2021 at 10:16 AM Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Robert Haas <robertmhaas@gmail.com> writes:
> > The new style seems good, but I don't really agree that "positive" and
> > "non-negative" are ambiguous. "positive" means >0 and "non-negative"
> > means >= 0, because 0 is neither positive nor negative.
>
> Well, the point is precisely that not everyone makes that distinction.
> I agree that everyone will read "non-negative" as ">= 0"; but there's
> a fair percentage of the population that uses "positive" the same way.
The mathematician in me recoils.
--
Robert Haas
EDB: http://www.enterprisedb.com