def decimal

yaml-for-bend@0.1.1.0 · num.bend:105

import yaml-for-bend@0.1.1.0/num.bend as Num

import Base

105# Decimal digits as they'd be written, without zeros in front.
106def decimal(+s: String) -> String:
107  +ds = drop.zeros(s)
108  Bool.pick(String, String.is_empty(ds), "0", ds)

Uses (4)

Used by (2)