Quick math to determine the RPM range.
The pulley driving the belt has a diameter of 44mm.
That puts the number of RPMs at 10mph to a bit shy of 2000.
Which means that four digits are enough to accomodate the RPMs at unit precision.
2000 RPMs is also 33.3 RPSs. Which gives a period of 30 milliseconds at maximum speed.