Comment by zibzab
5 years ago
I have always wanted to ask this: Is zero a positive number? And do we always round up?
- Possible owner of a mildly successful $xT company.
5 years ago
I have always wanted to ask this: Is zero a positive number? And do we always round up?
- Possible owner of a mildly successful $xT company.
Usage varies, there are a few notations for specifying whether the set of natural numbers/positive integers includes zero when it matters.
'Always round up' sounds more like the ceiling function (or ceil•abs) - usually rounding means to the nearest integer, or whatever we're rounding to.
It's certainly non-negative. Enjoy your status.