#include <math.h>
#define __floorf __floorf_ppc64
#include <sysdeps/powerpc/fpu/s_floorf.c>