def div_qt

bend-collections-laws-math@1.0.0.0 · src/math/f64.bend:381

import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64
import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as X

381# a in [b, 2b): 2^62 + floor((a - b) * 2^62 / b), sticky, by two 32-bit digits
382def div_qt(+s: Bool, +e: Nat, +a: W.U64, +b: W.U64, +t: Nat) -> F64:
383  dq_mid(s, e, b, t, digit(X.sub(a, b), b, t))

Uses (7)

Used by (1)