def exp_field
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
60def exp_field(+x: F64) -> Nat:
61 U32.to_nat(U32.and(U32.div(word_hi(x), 1048576), 2047))
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
60def exp_field(+x: F64) -> Nat:
61 U32.to_nat(U32.and(U32.div(word_hi(x), 1048576), 2047))