i64 trunc to i32