when zooming in a bit (e.g. 105%), the mouse events in IE10 will have mouse coordinates with floating point precision, so that the resize event is fired with a floating point value for the new size.

dtid=z_ilv&cmd_0=onHeaderUpdate&uuid_0=sM4Qu0&data_0=

{"sheetId":"0","type":"top","action":"resize","index":3,"size":56.23809814453125,"id":7,"hidden":false}

&cmd_1=onCellFocus&uuid_1=sM4Qu0&data_1=

{"sheetId":"0","row":0,"col":0}

resulting in this error on the server side
java.lang.Double cannot be cast to java.lang.Integer