frexpf(3) on Linux
The text f3b22f87dbc6, as Debian 9 (Stretch) shipped it.
convert floating-point number to fractional and integral components
The text f3b22f87dbc6, as Debian 9 (Stretch) shipped it.
convert floating-point number to fractional and integral components