#include <cruntime.h>
int32_t __float32_to_int32(float arg);
__float32_to_int32 converts the floating value arg to a 32-bit signed integer, truncating towards zero, and.returns the truncated value as the result.
__float32_to_int32 is a provided on all implementations of CrossWorks.