Well, my bad then.
I was just a little confused as 0.250V seemed like a lot. It was even marked in my BIOS in yellow, because it was so high. And 1.064 + 0,025 = 1,088 (with some rounding errors or whatever) seemed likely to me.
Should've read it more careful, considering I don't want my CPU to go downhill