gmp: Introduce BigInt and Ratio