theorem Th1269: :: NUMBER11:1269

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