Finished adding rational arithmetic from flint and documenting it.