Time.frac.go: def of bend-kit-time@0.3.0.0
Import: import bend-kit-time@0.3.0.0/time.bend as Time
Lines 326-337 of bend-kit-time@0.3.0.0/time.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-time@0.3.0.0/time.bend&start_line=326&end_line=337

import Base

# The digits of n / 10^(9 - w), with trailing zeros cut. n is not 0.
def frac.go(f: Nat, z: Bool, +n: U32, +w: Nat) -> String:
  match f:
    case 0n:
      pad(n, w)
    case 1n+g:
      match z:
        case True{}:
          +m = (n / 10 : U32)
          frac.go(g, U32.is_eq((m % 10 : U32), 0), m, (w - 1n : Nat))
        case False{}:
          pad(n, w)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=pad