fix IE10 rounding problem, refs #17969
minimal fix for mouseup --> focus logic on IE10, IE11, fixes #17970