#include <math.h>
#define __ceil __ceil_ppc32
#include <sysdeps/powerpc/fpu/s_ceil.c>