Implementing `div`.