def am_eq_n

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

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

225def am_eq_n(+x: F64, +s: Bool, +e: Nat, +fa: W.U64, +fb: W.U64, top: Bool) -> F64:
226  match top:
227    case True{}:
228      nan_or(x, Bool.or(nz(fa), nz(fb)))
229    case False{}:
230      round_pack(s, Nat.add(off(), e), X.shl(X.add(W.U64{0, 2097152}, X.add(fa, fb)), 9n))