addToClockTime: handle picoseconds properly