bend-collections-laws-crypto@1.0.0.0 · spec/math/f64.bend:136
import bend-collections-laws-crypto@1.0.0.0/spec/math/f64.bend as F64
import Base 136def zb() -> Nat: 137 3000n