{WorkingPrecision -> {"MachinePrecision", "40", "Infinity"}}
