def Decimal.up

bend-kit-bignum@0.1.0.0 · decimal.bend:17

import Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big

17# u * 10^k, without a multiply when k is 0.
18def Decimal.up(u: Big.BigInt, k: Nat) -> Big.BigInt:
19  match k:
20    case 0n:
21      u
22    case 1n+p:
23      Big.BigInt.mul(u, Decimal.pow10(1n+p))