def nat

import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed

import Base

102# decimal digits' value
103def nat(txt: String) -> Nat:
104  nat.go(txt, 0n)

Uses (3)