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