> So I would need a 32 bit counter to increment up that high.  How would I
> create a 32 bit counter, is the code for incrementing the counter
> correct ??.


Use a slower clock! I don't think you need 250nS resolution.
32 Khz may be enough.