def bump

emerging-ezjson@1.3.0.0 · src/fixed.bend:238

import Base

238# the kept digits, one more when they round up
239def bump(go_up: Bool, kept: String) -> String:
240  match go_up:
241    case True{}:
242      inc(kept)
243    case False{}:
244      kept