My ADC is only 10 bits, not 16.

So I just divide 10bits by 4 to reduce from 1023 down to 255, then slap it through your formula.

I haven't done any math yet (just thinking, while I work on my encoder logic), but this probably equates to what Ioannis is suggesting.