https://stackoverflow.com/questions/59489221/using-the-gmp-library-with-boehms-garbage-collector
Let's use GMP for ints and Boehm GC.