> Seems pts_time/dts_time has some kinid of relation to pts/dts, but > obviously not dts_time = dts/1000. Yeah it's supposed to be the "converted" "timestamp" or "humanized" or something. My guess is that ffmpeg takes care of the conversion internally.