[anaclumos]

All due respect, 3.2GHz is not 3200Hz. That’s kHz. 3.2GHz is 3,200,000,000Hz. But yes, you're right; M1 is 3.2 GHz, not 4.0

[drKarl]

You're right, my bad, my calculations are off by a factor of 10^6, that means 0.0000000003125 seconds, which is 0.3125 nanoseconds, which is not 0.25 nanoseconds but is on the same order of magnitude.