On 02/27/2018 06:08 AM, Torbjörn Granlund wrote: > That's what I'd call an early adopter since mini-gmp was conceived only > in 2014.;-) You're correct, they pulled the routines they wanted from a version of gmp, sorry.