#define __modf __modf_avx

#include <sysdeps/ieee754/dbl-64/s_modf.c>