#include double fabs(double x) { return IEEEDPAbs(x); }