Дробные пиксели

Я всегда считал, что значения в px могут быть только целыми числами. Но недавно, отлавливая ошибку в Internet Explorer 10 обнаружил в панели разработчика следующее:

Дробные значения в пикселях везде.
При этом в GWT метод getClientWidth/Height() возвращает только целые значения. Как сделать совместимость с IE10? У меня во многих местах нужно один абсолютно позиционированный элемент отображать ровно над другим, а в IE10 он "дергается" (смещение менее, чем на 1 px).
И еще такой вопрос: а остальные величины (offset, padding, margin, coordinates) могут быть дробными в px?

Ответ

Дробное значение быть может, но это, скорее "неумность" разработчиков, или же "неумность" браузера при высчитывании ширины/высоты определенного DOM-элемента, установленного в дробное значение в процентах, например:

Браузер в таком случае производит простейшие математические действия для преобразования процентного соотношения в пиксельное без последующего преобразования результата в целое число(из дробного). А вообще, дробное значения пикселя - это, конечно же, абсурд. Нельзя "закрасить" половину пикселя или же его треть. Должно быть понятно, что 123.86px == 124px