#include double __floatsidf(signed long x) { return IEEEDPFlt(x); }