float64_to_uint32_round_to_zero
unsigned int float64_to_uint32_round_to_zero( float64 );
unsigned int float64_to_uint32_round_to_zero( float64 );
unsigned int float64_to_uint32_round_to_zero( float64 );
unsigned int float64_to_uint32_round_to_zero( float64 );