Standardize all JSON encoded times to use 3 decimal fractional seconds