frexp
__sym_compat(frexp, past_frexp, DF306.0);
double (frexp)(double x, int *e) { n_double++; }
PASS_REAL_FIXED_ARG_REAL_RET(frexp, &i));