Default format now includes milliseconds

In the web and other contexts, this is much needed, events can occur within the same second.