3 ms·

Its Javascript numbers. As far as I know they are always 64bit floating points. Yes, its possible that floating point artefacts play a role in this.