def move

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

import Base

144# the digits with the point moved by the exponent
145def move(neg: Bool, kk: Nat, dec: Dec) -> Dec:
146  match neg:
147    case False{}:
148      ups(kk, dec)
149    case True{}:
150      downs(kk, dec)