def efield
import bend-collections-laws-crypto@1.0.0.0/spec/math/f64.bend as F64import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F
80def efield(+x: F.F64) -> Nat:
81 C.low(11n, C.high(20n, hi_nat(x)))