Update deps in readme. Various touchups.

High-precision and symbolic code completed, awaits testing.
Reformat.