How to get a range between two dates in a millisecond :
I have an example of the correct answer:
time_start = 2018-12-18 12:33:53.1231;
time_end = 2018-12-18 12:34:10.1523;
result = 17.0292;
what I'm asking is, what is the formula for calculating it?
I have tried some code but the result is 16.708
$dt_start = 2018-12-18 12:33:53.1231;
$dt_end = 2018-12-18 12:34:10.1523;
            $ex_start = explode(".",$dt_start);
            $ex_end = explode(".",$dt_end);
            $datetime_start = strtotime($ex_start[0]);
            $datetime_end = strtotime($ex_end[0]);
            $total_detik = $datetime_end-$datetime_start;
                // dd($ex_end[0]);
            $milis_start = floatval($ex_start[1]);
            $milis_end = floatval($ex_end[1]);
            $range_milis = $milis_start-$milis_end;
            $new_range_milis = $range_milis/10000;
                // dd($range_milis);
            $second = $datetime_end-$datetime_start+$range_milis/10000;
            dd($second);
//output '16.708'