def u32.text

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

340# n in decimal digits.
341def u32.text(+n: U32) -> Bytes.Bytes:
342  +k = u32.width(n)
343  Bytes.Bytes{k, u32.fill(U32.to_nat(k), Bytes.alloc(k), (k - 1 : U32), n)}