def big.of.nat
import yaml-for-bend@0.1.1.0/num.bend as Numimport Base
53# A Nat that fits, as a big number.
54def big.of.nat(+n: Nat) -> List<&2, Nat>:
55 big.trim(List.reverse(&2, Nat, big.chars(Nat.show(n))))
import yaml-for-bend@0.1.1.0/num.bend as Numimport Base
53# A Nat that fits, as a big number.
54def big.of.nat(+n: Nat) -> List<&2, Nat>:
55 big.trim(List.reverse(&2, Nat, big.chars(Nat.show(n))))