This would then become `(recur (* res base) (dec n))`.