The text 7a16798faa7a, as Debian 11 (Bullseye) shipped it.
Arbitrary precision floating-point numbers
bigfloat(3tcl) on Linux now
