The divide by 4 is because a 1000 line encoder will have 4000 pulses per rev (hi->low and low-> high on each channel.)
They probably call it a multiplier because I'd guess it's using a PLL to multiply the step frequency rather than dividing the encoder input.