float64_to_uint32_round_to_zero
uint32 float64_to_uint32_round_to_zero( float64 a )
#define float64_to_uint32_round_to_zero __fixunsdfsi