def Decimal.add
import bend-kit-bignum@0.1.0.0/decimal.bend as Decimalimport Base
import bend-kit-bignum@0.1.0.0/bigint.bend as Big
40def Decimal.add(a: Decimal, b: Decimal) -> Decimal:
41 match a b:
42 case Decimal{ua, +sa} Decimal{ub, +sb}:
43 Decimal{Big.BigInt.add(Decimal.up(ua, Nat.sub(sb, sa)),
44 Decimal.up(ub, Nat.sub(sa, sb))), Nat.max(sa, sb)}