I remember having their manual around. I vaguely remember that the Athlon series used to be faster with floating points than the then new Pentium-4s. For that matter even the Pentium-3s had better floating point performance than Pentium-4s.