phc -m now provides polyhedral continuation in double double
and quad double precision