pub fn cast_f32_to_i32(x: v256) -> v256i