They can't, but these are not directly the encoder ticks. The encoder ticks is a decimal approximation to degrees * ENCODER_TICKS_PER_degree. Say 12 degrees is 140 ticks. 12 * 11 = 132, where as 12*11.667 = 140.004 ticks, which is cast to an int in encoders.c