"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes: We need to cherry-pick, or we will introduce lazy allocation in mini-gmp before introducing it in GMP... Whatever is safer. I think GMP isn't jealous, it can handle being less lazy than mini-gmp. -- Torbjörn Please encrypt, key id 0xC8601622