def Decimal.normalize.go

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

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

160def Decimal.normalize.go(s: Nat, u: Big.BigInt, qr: Bool & Big.BigInt) ->
161  Decimal:
162  match s:
163    case 0n:
164      Decimal{u, 0n}
165    case 1n+p:
166      (z, q) = qr
167      match z:
168        case True{}:
169          +v = {q : Big.BigInt}
170          Decimal.normalize.go(p, v, Decimal.divk(v, 10))
171        case False{}:
172          Decimal{u, 1n+p}