Untab
Define float equality tolerance as constant
Solve 1.13, almost

Show that 'Fib(n)' is closest to phi iff the 'round' built-in function
works as advertised. This is however not a proof in the mathematical
sense.