There's a whole subfield of adder design focused on carrying, since it's a big dependency chain even within one register. I believe this is a software version

There's a whole subfield of adder design focused on carrying, since it's a big dependency chain even within one register. I believe this is a software version of what some adder circuits already do (although I'll need some reading to check).