Here is a machine that simulates how processors make additions with binaries.