#define FUNC frexpl
#define float_type long double
#include <s_frexp.c>