#include double ceil(double x) { return IEEEDPCeil(x); }