Python datetime milliseconds 3 digits. The docs are a bit misleading as...