Mv 32bit counters

Not as nice as Engel's solution, but keeps counters at 64 bits across all platforms.