Implement div

So far the tests are commented out, since we need to implement Rational first.