int32_t v0 = f32_to_i32(p0);
  10000000000.0: 2147483647
  -10000000000.0: -2147483648
  nan: 0
  -0.5: 0
