~/jendhub

def mf_fin

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

import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64
import 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))

Uses (12)

Used by (1)