[BUG #7864] made sure mouse event pixel values are integers