def point

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

import Base

276# the integer part, then a point and the fraction when there is one
277def point(nn: Nat, int: String, frac: String) -> String:
278  match nn:
279    case 0n:
280      int
281    case 1n+_m:
282      int ++ "." ++ frac