The title doesn't mean much if you don't specify at what. It's only about floating point, and the comparison is with a purely theoretical CPU.
Does anyone know how much these things cost? A quick google yielded nothing, but I may using the wrong terms.
The only time I was ever "in the market" for a board was in 2007, and back then it was a struggle getting parts; this was in the days of FX/LX/SX availability, and I wanted an SX part (with many DSP units) but basically got told no unless I wanted to buy over 50 units. So, had to settle for the bog standard FX. Paid USD5k for it (a premium for Infiniband connectivity).
Edit: This is for the naked chip, not a board. There's quite a discrepancy with int19h's findings, I don't know if that can be all up to the board?
"The floating point performance for the reference microprocessor
is calculated by multiplying the number of floating point
functions units on each core by the number of cores and by the
clock frequency.
...
this article series has been using a normalized value of 2.5 GHz
clock frequency."