def round.up

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

import Base

214# whether the kept digits (last first) go up by one, from the dropped ones
215def round.up(dropped: String, kept: String) -> Bool:
216  match dropped:
217    case SNil{}:
218      False{}
219    case SCon{hd, rest}:
220      round.at(U32.cmp(Char.to_u32(hd), 53), rest, kept)