All internal UI item sizes should be stored in dots using floating point double type

[egorodet]

Current implementation stores item sizes in pixels as unsigned integers, which results in two issues:

• UI rescaling can not be correctly handled on DPI change
• Size conversions from pixels to dots and back to pixels results in pixel flickering due to rounding effects