~/jendhub

def ri_fin

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

import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64
import Base

713def ri_fin(m: RMode, +x: F64, int: Bool) -> F64:
714  match int:
715    case True{}:
716      x
717    case False{}:
718      ri_k(m, signbit(x), dmant(x), Nat.sub(3000n, dexp(x)), Nat.is_lt(Nat.sub(3000n, dexp(x)), 64n))

Uses (9)

Used by (1)