Synopsis
uint32_t __float32_to_uint32(float32_t arg);
Description

__float32_to_uint32 converts the floating value arg> to a 32-bit unsigned integer, truncating towards zero, and returns the truncated value as the result.