Comment by SPACECADET3D

I am using GMP indeed, through the Rust crate `rug`.