Issue #5593: Use more robust test for double-rounding in test_fsum.