theorem Th536: :: NUMBER11:536

digits (2080,10) = <%0,8,0,2%>