Added nn_divrem and nn_div and added additional ASSERT's and documentation.