Implement div

TODO:

* [x] Enable tests that work