def num.ok.step.frac
import emerging-ezjson@1.3.0.0/src/value.bend as Valueimport Base
207def num.ok.step.frac(+cp: U32, have: Bool) -> Num:
208 num.ok.step.frac.go(cp, have, num.ok.digit(cp))
import emerging-ezjson@1.3.0.0/src/value.bend as Valueimport Base
207def num.ok.step.frac(+cp: U32, have: Bool) -> Num:
208 num.ok.step.frac.go(cp, have, num.ok.digit(cp))