Should we use GMP for big ints?