theorem Th305: :: NUMBER11:305
digits (380,10) = <%0,8,3%>