#include <sysdeps/powerpc/power7/fpu/s_logb.c>