snarky comment
Exercise 5.3 - register machine for iterative sqrt via Newton's method