def est_mid
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
327def est_mid(+lo: U32, +t1: Nat, +d: Nat) -> U32:
328 est_lo(Nat.div(t1, d), dig_t(Nat.mod(t1, d), 65536n, dig2(lo)), d)
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
327def est_mid(+lo: U32, +t1: Nat, +d: Nat) -> U32:
328 est_lo(Nat.div(t1, d), dig_t(Nat.mod(t1, d), 65536n, dig2(lo)), d)