On Sun, 18 Jun 2023 19:33:07 GMT, Jens Lidestrom <d...@openjdk.org> wrote:
> Where did you get this idea? A "positive" means a number that is _greater_ > than zero. One of my colleagues with a strong math background has corrected many of my API javadoc comments seeking to avoid any ambiguity. See reference below about positive integers. [home](https://www.math.net/) / [primary math](https://www.math.net/primary-math) / [number](https://www.math.net/number) / positive numbers Positive numbers A positive number is any number that is greater than 0. **Unlike positive integers**, which include 0 and the [natural numbers](https://www.math.net/natural-numbers), positive numbers include [fractions](https://www.math.net/fraction), [decimals](https://www.math.net/decimal), and other types of [numerals](https://www.math.net/numerals). ------------- PR Comment: https://git.openjdk.org/jdk/pull/14479#issuecomment-1599291030
