Fixed incorrect "accurate sum" in f3.txt

Probably arose from using Python fsum(), which uses double
precision floats instead of single precision floats.