The text 05217ae660be, as Debian 7 (Wheezy) shipped it.
Arbitrary precision floating-point numbers
bigfloat(3tcl) on Linux now
