4 ms·

Ada is an example of a standardized, mature language with a "natural number" (strictly positive integer) type.

• tremon 8y ago
  But Ada doesn't restrict its division operators (div, mod and rem) to just "natural number" divisors.