#include float __floatsisf(signed long x) { return IEEESPFlt(x); }