Added documentation of exact division and inversion in finite fields and fixed
a problem with powering with -ve exponents.