frexpf(3) on Linux
The text 25e81d71493c, as Debian 7 (Wheezy) shipped it.
convert floating-point number to fractional and integral components
The text 25e81d71493c, as Debian 7 (Wheezy) shipped it.
convert floating-point number to fractional and integral components