gmp_fact($n)