refs #1700 better time formatting for milliseconds