#include float sinf(float x) { return IEEESPSin(x); }