def frexp

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

import Base

856# (m, e) with x = m * 2^e and 0.5 <= |m| < 1; zeros and infinities give (x, 0)
857def frexp(+x: F64) -> F64 & Exp:
858  fx_cls(x, Nat.is_eq(exp_field(x), 2047n))