float64_to_int32_round_to_zero
int32 float64_to_int32_round_to_zero( float64 a )
#define float64_to_int32_round_to_zero __fixdfsi