frexpf
#define ecb_frexpf(x,e) frexpf ((x), (e))
f = frexpf(d0, &e);
f = frexpf(d1, &e);
f = frexpf(d1, &e);
float frexpf(float, int *); /* fundamentally !__pure2 */
float (frexpf)(float x, int *e) { n_float++; }