def div_b

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

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

412def div_b(+s: Bool, +ea: Nat, +fa: W.U64, +eb: Nat, +fb: W.U64, top: Bool) -> F64:
413  match top:
414    case True{}:
415      nan_or(zero(s), nz(fb))
416    case False{}:
417      div_z(s, ea, fa, eb, fb, fin_zero(eb, fb))