def isqrt32_fix
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
452def isqrt32_fix(+x: U32, +r: U32) -> U32:
453 up32(1n+U32.to_nat(U32.sub(65535, r)), x, r, up_ok(x, r))
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
452def isqrt32_fix(+x: U32, +r: U32) -> U32:
453 up32(1n+U32.to_nat(U32.sub(65535, r)), x, r, up_ok(x, r))