def Decimal.rescale.cut

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

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

187def Decimal.rescale.cut(t: Nat, m: Maybe<&1, Big.BigInt & Big.BigInt>) ->
188  Maybe<&2, Decimal>:
189  match m:
190    case Some{(q, r)}:
191      Decimal.rescale.keep(Big.BigInt.is_zero(r), q, t)
192    case None{}:
193      None{}