Division (and subtraction)

Implement division by first implementing subtraction. Seems to give the
incorrect result for results with a remainder though. Rather than 1/2
being 0, it is 1. Rather than 3/2 being 1, it is 2. On the other hand,
something like 2/2 does equal 1. Matter of adjusting when succ gets
added to the result I guess.