def to_u64

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/num.bend as N
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

784# x truncated toward zero as an unsigned 64-bit integer: NaN is a domain
785# error, a value outside [0, 2^64) (infinities included) an overflow
786def to_u64(+x: F64) -> Result<&2, &2, N.NumError, W.U64>:
787  tu_cls(x, Nat.is_eq(exp_field(x), 2047n))