def digit.nat

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

import Base

90# a digit's value
91def digit.nat(ch: Char) -> Nat:
92  U32.to_nat(U32.sub(Char.to_u32(ch), 48))

Uses (5)