def ldexp
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
893# x * 2^e, rounded once (overflow to infinity, gradual underflow)
894def ldexp(+x: F64, +e: Exp) -> F64:
895 ld_cls(x, e, Nat.is_eq(exp_field(x), 2047n))
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
893# x * 2^e, rounded once (overflow to infinity, gradual underflow)
894def ldexp(+x: F64, +e: Exp) -> F64:
895 ld_cls(x, e, Nat.is_eq(exp_field(x), 2047n))