def u32.show

bend-kit-bytes@0.3.3.0 · bytes.bend:802

import Base

802# n in ASCII decimal, with no leading zeros.
803def u32.show(+n: U32) -> Bytes:
804  +k = u32.width(10n, U32.is_lt(n, 10), n, 1)
805  Bytes{k, u32.digits(U32.to_nat(k), alloc(k), (k - 1 : U32), n)}