Put milliseconds in OrigSendingTime if SendingTime has them

OrigSendingTime is set without milliseconds even if the SendingTime has them. This seems rather trivial to implement based on the logic used for SendingTime i.e. MillisecondsInTimeStamp config and version >= 4.2.

I can do this if requested.