min(i64) + i32
