If you are using Python:
old_number = 1384393612958
new_number = 1000 * (old_number / 1000)
print new_number
Basically you want to use an integer number, divide by one thousand (to shave off the milli-seconds), and then multiple by thousand to get the ms value rounded to seconds.