def write
import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixedimport 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)))