def num

bend-kit-migrate@0.3.0.0 · migrate.bend:657

import Base
import bend-kit-json@0.7.0.0/json.bend as Json

657def num(+n: U32) -> Json.Val:
658  Json.Num{u32.text(n)}