polyhedral homotopies in double double and quad double precision work
for fully mixed polynomial systems