Here's the fix you need to gensqrt:

|| The last time round, you divide by *two*, not the base.
loop1 op res one
  = res' div 2, one=1		|| new line.
  = loop1 op' (res' div base) (one div sqbase), otherwise
    where
    (op',res') = loop2 op res one

You can drop the ilne guarded "one=0" because  one has to go through 1
before it can get to 0, and it always starts >=1 (since there is a test
in the code of square_root).

	Martin

Now let's cast this message into the network and see where it ends up.