integer.as_string

(len i32, base u32)

convert this to a number using the given base. If negative, add "-" as
the first character. Extend with leading "0" until the length is at
least len

Precondition

pre
  debug: 1 < base ≤ 36

Postcondition

post
  debug: result.byte_length ≥ len

0.095dev (GIT hash c0597c5e4454e0a756871b577946c51ba77d9fde)

last changed: 2026-04-14