def pack_e

bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:160

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

160# a normal number (ef < 2047) or an overflow to infinity
161def pack_e(+s: Bool, +ef: Nat, +f: Nat) -> F.F64:
162  pick(F.F64, Nat.is_le(2047n, ef), inf(s), encode(s, ef, f))