~/jendhub

def round

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

import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
import Base

252# every digit to the last kept place, last first, rounded half to even
253def round(+nn: Nat, dec: Dec) -> String:
254  match dec:
255    case Dec{+left, right}:
256      round.keep(left, pad(nn, right))

Uses (5)

Used by (1)