add prevprime to expr

[Seth Troisi]

Quick patch to add prevprime to expr

$ ./run-expr 'prevprime(10000)'
"prevprime(10000)" base 0: result 9973
-------------- next part --------------
A non-text attachment was scrubbed...
Name: prevprime_expr.PATCH
Type: application/octet-stream
Size: 1589 bytes
Desc: not available
URL: <https://gmplib.org/list-archives/gmp-devel/attachments/20260723/bd82729c/attachment.obj>