Note that current hardware platforms only report 32-bits of encoder data. This means that, depending on the hardware, the encoder may rollover (go back to 0) when the encoder count reaches 4294967295, (0xFFFFFFFF).

On platforms like this only the lower 32 bits of the encoderCount argument are used when calling SetEncoderCount()... So don't try to set the encoder count to a negative number or a number greater than 4294967295.