On 5/16/22 13:05, ais523 via agora-business wrote:
(Assuming "natural number" excludes 0, this one is quite a bit of effort, close to inappropriate for a CFJ unless the caller can point out the likely nature of a mistake in the coin totals. If "natural number" includes 0, it's trivial.)
R2509 defines a "natural switch" as including all non-negative integers, so Agora at the very least implicitly views 0 as a natural number.
-- nix Herald, Collector
