32 bit timestamp to 64 bit