3 ms·

While we are on it, can we also get rid of time zones and switch to 10-based (kiloseconds etc) time units?