"faster" add with carry + overflow detection

I think it’s all correct :3