Use GMP for arithmetics.