def quotient_signed

bend-collections-laws-crypto@1.0.0.0 · spec/lib/numeric.bend:79

import Base

79def quotient_signed(bits: Word(64n), negative: Bool) -> Word(64n):
80  match negative:
81    case False{}:
82      unsigned_quotient(64n, bits, 1000000)
83    case True{}:
84      negative_quotient(64n, bits, 1000000)