在開發程式的過程中，程式設計師不一定每一個原件都會純手工打造，事實上，很多東西會直接使用現有的工具。一來可以節省開發的成本，二來自己實作可能也比不上現有工具的功用跟效能（或許還會產生不少BUG）。所以在這裡也會介紹一些好用的工具或是函式庫。當然，前提這些東西都是自由或是能免費取得的。
這套函式庫提供了整數、分數、小數的型態，下面「稍微」看一下人家是怎麼設計的。我們只看看整數的部分，並且看一下人家的加法是如何處理的。
mpz 就是GMP中的整數型態。簡單來說，他是拿一串 limb 串起來來當作大數， limb 就是一般程式中所使用的數學型態。（根據平台不同，可能是 unsigned int or unsigned long），然後他還會記錄 size。
我認為，mp_alloc 跟 mp_size 的不同，在於一個是已經 alloc 出來的空間個數，另一個是計算上結果所需的空間個數（不一定一樣，因為可能多 alloc，或是出現進位造成 alloc 不夠），對了，還順便表示正負號。