4 ms·

Rounding from 8.7 to 9 is perfectly acceptable, especially with something that's an estimate to begin with.