3 ms·

Well then it's a mere budget rounding error. But, the overall risk assessment shouldn't have been much different.