Python big ints (longs) are built-in, but slow as a dog. Similarly, OCaml's are slow. Both Python and OCaml provide access to libgmp precisely because it is so much faster. It really makes a huge difference if you care about the speed of such calculations, especially if the numbers are very large (thousands of digits).