def ii_fin

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

import Base

1023def ii_fin(+x: F64, int: Bool) -> Bool:
1024  match int:
1025    case True{}:
1026      True{}
1027    case False{}:
1028      ii_k(dmant(x), Nat.sub(3000n, dexp(x)), Nat.is_lt(Nat.sub(3000n, dexp(x)), 64n))