def fx_z

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

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

842def fx_z(+x: F64, z: Bool) -> F64 & Exp:
843  match z:
844    case True{}:
845      (x, Exp{False{}, 0n})
846    case False{}:
847      fx_fin(x, dmant(x), Nat.sub(64n, X.clz(dmant(x))))