def dec.off
import yaml-for-bend@0.1.1.0/num.bend as Numimport Base
133# Where a decimal's point is counted from, so it can go left of the
134# digits; an exponent is capped below it.
135def dec.off() -> Nat:
136 1000n
import yaml-for-bend@0.1.1.0/num.bend as Numimport Base
133# Where a decimal's point is counted from, so it can go left of the
134# digits; an exponent is capped below it.
135def dec.off() -> Nat:
136 1000n