def round.at

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

import Base

204# the first dropped digit against 5
205def round.at(order: Cmp, rest: String, kept: String) -> Bool:
206  match order:
207    case LT{}:
208      False{}
209    case EQ{}:
210      tie(nonzero(rest), kept)
211    case GT{}:
212      True{}