provide 3 digits of milliseconds for iso8601 formatting