fails:Prime.int_from_prime_division returns the product of the given factorization
fails:Prime.int_from_prime_division returns 1 for an empty factorization
