;				0 .. (2^32)-1		  FROM       TO
uint32	= DIGIT						; 0          9
	/ %x31-39 1*8DIGIT				; 10         999999999
	/ %x31-33 9DIGIT				; 1000000000 3999999999
	/ "4" %x30-31 8DIGIT				; 4000000000 4199999999
	/ "4" "2" %x30-38 7DIGIT			; 4200000000 4229999999
	/ "4" "2" "9" %x30-33 6DIGIT			; 4290000000 4293999999
	/ "4" "2" "9" "4" %x30-38 5DIGIT		; 4294000000 4294899999
	/ "4" "2" "9" "4" "9" %x30-35 4DIGIT		; 4294900000 4294959999
	/ "4" "2" "9" "4" "9" "6" %x30-36 3DIGIT	; 4294960000 4294966999
	/ "4" "2" "9" "4" "9" "6" "7" %x30-31 2DIGIT	; 4294967000 4294967199
	/ "4" "2" "9" "4" "9" "6" "7" "2" %x30-38 DIGIT	; 4294967200 4294967289
	/ "4" "2" "9" "4" "9" "6" "7" "2" "9" %x30-35	; 4294967290 4294967295