def hw

bend-collections-laws-math@1.0.0.0 · proofs/math/random/float.bend:83

import Base

83# the high word the implementation builds: exponent field e, and the top 20
84# fraction bits of qh
85def hw(+e: Nat, +qh: U32) -> U32:
86  U32.add(U32.mul(U32.from_nat(e), 1048576), U32.and(qh, 1048575))