Implementing update_carryin