Use 64-bit timekeeping