__frexpf
extern float __frexpf(float, int *);
inline float frexp(float __X, int *__Y) { return __frexpf(__X, __Y); }