Num.frac_centi: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/num.bend as Num
Lines 21-23 of cswap-bend-cli@0.1.0.0/tui/num.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/num.bend&start_line=21&end_line=23

import Base

# Two fraction digits, padded: "5" -> 50, "07" -> 7, "555" -> 55.
def frac_centi(+f: String) -> Maybe<&2, U32>:
  U32.read(String.take(f ++ "00", 2n))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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.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.read