[jcelerier]

Or just ticking every 1.025 ms (e.g. at 975 Hz instead of 1khz)... that brings us to :

    (4406400000 - 1.025*2 ^ 32)/1000 

so a difference of 1.12 hours with the "51 days" mention.