def isqrt32
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
462def isqrt32(+x: U32) -> U32:
463 isqrt32_est(x, U32.min(F32.to_u32(F32.sqrt(U32.to_f32(x))), 65535))
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
462def isqrt32(+x: U32) -> U32:
463 isqrt32_est(x, U32.min(F32.to_u32(F32.sqrt(U32.to_f32(x))), 65535))