Adding support for gmp_prevprime

[devnexen]

Description

Since GNU MP 6.3.0, mpz_prevprime had been added.

[LamentXU123]

@Girgias Would this requires a RFC? If not I can try to implement this. Should be easy as a direct exposure to the GNU MP API.

[TimWolla]

Would this requires a RFC?

Probably no.

[Girgias]

Shouldn't need to as it's just exposing a new underlying library function.

[devnexen]

an attempt had been done previously.

[devnexen]

Saying this, I do not mind you taking over.

[LamentXU123]

Saying this, I do not mind you taking over.

I'd built it on top of your code :) #22807