def isqrt64_fix

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:489

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W

489def isqrt64_fix(+n: W.U64, +r: U32) -> U32:
490  up64(1n+U32.to_nat(U32.sub(4294967295, r)), n, r, up64_ok(n, r))