[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.