lib: vsprintf: optimize division by 10000