softfloat: Fix float64_to_uint32_round_to_zero