def fx_fin

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

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

839def fx_fin(+x: F64, +w: W.U64, +b: Nat) -> F64 & Exp:
840  (round_w(signbit(x), Nat.sub(3000n, b), w), exp_of(Nat.add(dexp(x), b)))