Knuth division algorithm