1 import labs as abs
0 import random
1 import srandom

[ over swap 1 [ over * ] countedLoop nip ] is ^

[ 2dup / over + 2 / tuck <> [ recurse ] ifTrue ] is sqrt-closer
[ 1 sqrt-closer nip ] is sqrt
