3 ms·

Yeah I get that... but that doesn't meet the current ABI so change it.

• zorgmonkey 5y ago
  It is already fixed https://gmplib.org/repo/gmp/rev/5f32dbc41afc https://gmplib.org/repo/gmp/rev/5f32dbc41afc