The text 9f7b5017c490, as Debian 7 (Wheezy) shipped it.
get mantissa of floating-point number
significandf(3) on Linux now
