Ranking is correct but HW points are not

[bolc]

http://hwbot.org/benchmark/superpi_-_32m/rankings?start=0&hardwareTypeId=processor_2263#start=0#interval=20

With #6 rank I get slightly more points = 10 than #5 = 9.8..

maybe because my frequecny is 300 mhz lower but I almost get his score?
should be a bug not specific to this cpu, hence why I find useful reporting it so you can dig into it
++