def pct1.show
import cswap-bend-cli@0.1.0.0/usage/text.bend as Textimport Base
128# round(float(s) * 100, 1) for a decimal fraction: tenths of a percent, as
129# text. `0.25` -> `25.0`, `0.4256` -> `42.6`.
130def pct1.show(+n: U32) -> String:
131 U32.show((n / 10 : U32)) ++ "." ++ U32.show((n % 10 : U32))