DateTime: works with UNIX timestamps bigger than 32bits