Adding fractional seconds to ISO8601 time format