p20. large number factorial (gmp)