Date: enable the printing of milliseconds when using iso 8601 format