def pct.frac

cswap-bend-cli@0.1.0.0 · policy/usage.bend:19

import Base

19def pct.frac(+q: Nat, +r: Nat) -> String:
20  match r:
21    case 0n:
22      Nat.show(q)
23    case 1n+p:
24      Nat.show(q) ++ "." ++ pct.frac.pair(Nat.divmod(r, 10n))