Updating: starting to document libgmp.