Ok, that makes sense.
However, I think this difference between the time when I noticed that the interrupt occurred and it actuallay occured, is VERY small. The Arduino Uno's clock speed is 16MHz and the durations I want to measure are in a range of about 1ms, the loop should be done in about 50µs max. That means there shouldnt be a problem.
It's good to know the difference, though.