True, but I define end of time as a 32-bit integer number of seconds from 1970.