Re: [SLE] 64 bit clock -- 32-bit POSIX time offset (correction)