#716: Added # of digits for numbering