Added milliseconds to JSON time format.