The text 8f300a0af1b5, as Debian 6.0 (Squeeze) shipped it.
Arbitrary precision floating-point numbers
bigfloat(3tcl) on Linux now
