No POD found for gmp_manual.pl. Time to read the source?