implement and test lazy fac and bin for mpz