Make timestamp_t compatible with int64_t