Package: pari-extra