Re: DIS: Numbers and dependent actions

[sukil via agora-discussion]

(Slightly deviating from the topic, but it appears first on r1728): any 
reason why point 3 of this rule says "an integer multiple of 0.1 with a 
minimum of 1"? Maybe I'm being super pedantic here, but integers don't 
have anything after the decimal point, so why not just use number or 
real number?