Use higherWorkingPrecision=>1 for double double precision. Use higherWorkingPrecision=>2 for quad double precision.