def mf_fin
import bend-collections@1.0.0.0/src/math/f64.bend as F64import Base
1043def mf_fin(+x: F64, int: Bool) -> F64 & F64:
1044 match int:
1045 case True{}:
1046 (zero(signbit(x)), x)
1047 case False{}:
1048 (mf_frac(signbit(x), dmant(x), dexp(x), Nat.sub(3000n, dexp(x)), Nat.is_lt(Nat.sub(3000n, dexp(x)), 64n)), trunc(x))