def of_nat
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
623# the double nearest to n (exact below 2^53)
624def of_nat(+n: Nat) -> F64:
625 of_nat_z(n, Nat.is_eq(n, 0n))
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
623# the double nearest to n (exact below 2^53)
624def of_nat(+n: Nat) -> F64:
625 of_nat_z(n, Nat.is_eq(n, 0n))