theorem Th1239: :: NUMBER11:1239

digits (3050,10) = <%0,5,0,3%>