Adding libgmp for bigint