Why we need add_one. If num > 0, as it should be, it is redundant.