use 64 bit for tick counter