Adding milliseconds for times in json