def dmant_z
import bend-collections@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W
import bend-collections@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})