That's about what I would expect with using steppers because the Encoder parameters will be much higher, probably something like 2500 by default, which is a standard Encoder base count. This could also easily be x4 because encoders are quadrature and it probably uses the base pulse rate.
If you can point me to the manual I'll take a look.