xf86-input-mouse floating point problems
xf86-input-mouse uses floating point values to keep track of the mouse pointer.
Sometimes these values wind up as NAN. This should not ever happen out of the
blue. I believe there is some problem with the FPU and task switching and/or
A workaround is attached.