integer.as_string

(len i64, 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_count ≥ len

0.099dev (GIT hash 02118e9cbed77f3897084a4a507da3f11ac8881e)

last changed: 2026-09-02