I think you want to case `ts.tv_sec` to a `uint64_t` before this multiplication, otherwise you might wrap over 32-bits.