def write

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

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

284# rounded digits, last first, written with `nn` decimals
285def write(+nn: Nat, +digits: String) -> String:
286  point(nn, trim(String.reverse(String.drop(digits, nn))),
287    String.reverse(String.take(digits, nn)))

Uses (7)

Used by (1)