def up

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

import Base

106# the point one place right: the first fraction digit, or a 0 past the
107# last, moves before the point
108def up(dec: Dec) -> Dec:
109  match dec:
110    case Dec{left, right}:
111      match right:
112        case SNil{}:
113          Dec{SCon{'0', left}, ""}
114        case SCon{hd, tl}:
115          Dec{SCon{hd, left}, tl}