pub fn limb_add(a: &[u64; 4], b: &[u64; 4]) -> ([u64; 4], u64)
The software limb-add — a faithful mirror of logicaffeine_base::numeric::mag_add (little-endian u64 limbs, u128 carry): the low LIMBS sum limbs and the carry-out.
logicaffeine_base::numeric::mag_add
LIMBS