3 ms·

That 0.5 is not a rounding error.

• deleted 14y ago
  [deleted]