i64 + min(i32)
