> `Natural.high` and `Positive.high` shouldn't really exist. Yeah, and `1e-1000` shouldn't be `0.0`. Unfortunately, computers have finitely many bits.
> Coercing to a Natural is implicit and can throw an error. Even declaring code
> with `{.raises: [].}`, the compiler doesn't seem to anticipate the possible
> error at compile time
Range checks are omitted with `-d:danger`, so making them catchable could break
code.
