Anyway, I am sure the example on that manual entry is wrong. It multiplies mickey by time_step when mickey is already a frame dependant variable. It is not the mouse speed but the moved pixels in the last frame. A FPS camera should add it raw and smooth the result a bit.
txesmi aka il brutto