Fixed.round.keep: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed Lines 246-250 of emerging-ezjson@1.3.0.0/src/fixed.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&start_line=246&end_line=250 import Base # the kept digits split at the last place def round.keep(+left: String, pair: String & String) -> String: (kept, dropped) = pair +all = String.reverse.go(kept, left) bump(round.up(dropped, all), all) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse.go https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=bump https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=round.up