The text 2dbad7cf3141, as Debian 13 (Trixie) shipped it. The page shows this text now.
Exact Real Arithmetic
exact(3tcl) on Linux now
