Some benchmarks at 4 ghz. Isn´t the superpi result to low or it seems about right?