#include float __negsf2(float x) { return IEEESPNeg(x); }