Function __add2 

pub(super) fn __add2(a: &mut [u64], b: &[u64]) -> u64

Two argument addition of raw slices, a += b, returning the carry.

This is used when the data Vec might need to resize to push a non-zero carry, so we perform the addition first hoping that it will fit.

The caller must ensure that a is at least as long as b.