format-time-string now supports subsecond time stamp resolution