Fixed.text: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
Lines 301-307 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=301&end_line=307

import Base

# a number's text with `nn` decimals
def text(txt: String, +nn: Nat) -> String:
  match txt:
    case SNil{}:
      unsigned("", nn)
    case SCon{+hd, tl}:
      text.at(Char.is_eq(hd, '-'), hd, tl, nn)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=text.at
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=unsigned