#include <math.h>
#define __floor __floor_ppc64
#include <sysdeps/powerpc/fpu/s_floor.c>