Add interconversions between GMP types. Updates docs. Add numerator and denominator methods for rational numbers.