Comment by OJFord

5 years ago

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.