#include /* * @implemented */ double CDECL _CIpow(void) { FPU_DOUBLES(x, y); return pow(x, y); }