Further addition to fix the observed rounding bug in IE 10.