change precision back to original value inside PrintSummary()