Arm64 has `AdvSimd.AddWideningLower` and `AdvSimd.AddWideningUpper` which will be extremely efficient here.    x86/x64 would require distinct widen and addition steps, but I expect it will still perform better as vectorized.