def frac
import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
63def frac(+x: F64) -> W.U64:
64 W.U64{word_lo(x), U32.and(word_hi(x), 1048575)}
Uses (5)
Used by (49)
- bend-collections-laws-math@1.0.0.0/src/math/f64:dmant
- bend-collections-laws-math@1.0.0.0/src/math/f64:is_nan
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64tools:dmant_value
- bend-collections-laws-math@1.0.0.0/src/math/f64:is_inf
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/f64tools:fz
- …