Num.big.of.nat: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/num.bend as Num
Lines 53-55 of yaml-for-bend@0.1.1.0/num.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/num.bend&start_line=53&end_line=55

import Base

# A Nat that fits, as a big number.
def big.of.nat(+n: Nat) -> List<&2, Nat>:
  big.trim(List.reverse(&2, Nat, big.chars(Nat.show(n))))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/num.bend&name=big.chars
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/num.bend&name=big.trim