implemented DIV (tested)