Implement integer division using successor function and zero constant.