increase precision in PrintSummary(). This helps with the test suite on various platforms.