I hadn't noticed that. Great catch!
That made me want to take a closer look at those monsters...
http://www.top500.org
For example, number 6 is equiped with "AMD x86_64 Opteron 2000 MHz (4 GFlops)" but doesn't say how many.
EDIT: Wait... yes it says... 10,880 of them!!! :shock: