Implemented update_carryin