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

import Base

# the first dropped digit against 5
def round.at(order: Cmp, rest: String, kept: String) -> Bool:
  match order:
    case LT{}:
      False{}
    case EQ{}:
      tie(nonzero(rest), kept)
    case GT{}:
      True{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  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=nonzero
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/fixed.bend&name=tie