Num.fmt.int.pick: def of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/num.bend as Num
Lines 208-213 of bend-toon-codec@0.1.0.0/src/num.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&start_line=208&end_line=213

import Base

def fmt.int.pick(+fits: Bool, +k: U32, +d: String) -> String:
  match fits:
    case True{}:
      d ++ zeros((k - len32(d) : U32))
    case False{}:
      String.take(d, U32.to_nat(k)) ++ "." ++ String.drop(d, U32.to_nat(k))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=len32
  https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&name=zeros