def of_u64
import bend-collections@1.0.0.0/src/math/f64.bend as F64import Base
import bend-collections@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)