The text a81f1b8d45bc, as Debian 9 (Stretch) shipped it.
Exact Real Arithmetic
exact(3tcl) on Linux now
