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