The text ede7725c08d9, as Debian 7 (Wheezy) shipped it.
Fuzzy comparison of floating-point numbers
fuzzy(3tcl) on Linux now
