Time tag support and correction to a signed 64-bit type