[[ Bug 12843 ]] Round thumbpos according to scrollbar number format