def dmant_z

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

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

633# the significand with its hidden bit (bit 52 of a normal number) and the
634# scale of its unit, the exponent plus Z = 3000 (1926 for subnormals), as in
635# spec/math/f64.bend's mant and xexp
636def dmant_z(+f: W.U64, z: Bool) -> W.U64:
637  match z:
638    case True{}:
639      f
640    case False{}:
641      X.add(f, W.U64{0, 1048576})