def of_u64

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

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

815# the double nearest to an unsigned 64-bit integer (exact below 2^53)
816def of_u64(+w: W.U64) -> F64:
817  round_w(False{}, 3000n, w)