On Tue, 20 Jun 2023 18:23:09 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> A positive number is any number that is greater than 0. **Unlike positive > integers**, which include 0 math.net seems pretty alone in this. I find the notion bizarre. There seems to be an overwhelming majority of sources that consider 0 to be neither negative nor positive. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14479#issuecomment-1599480422