Fixed.up: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
Lines 106-115 of emerging-ezjson@1.3.0.0/src/fixed.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&start_line=106&end_line=115

import Base

# the point one place right: the first fraction digit, or a 0 past the
# last, moves before the point
def up(dec: Dec) -> Dec:
  match dec:
    case Dec{left, right}:
      match right:
        case SNil{}:
          Dec{SCon{'0', left}, ""}
        case SCon{hd, tl}:
          Dec{SCon{hd, left}, tl}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=Dec