The text fa0af09528b7, as Debian 10 (Buster) shipped it.
Exact Real Arithmetic
exact(3tcl) on Linux now
