On Tue, 25 Feb 2020 at 10:39, sukil via agora-discussion <agora-discussion@agoranomic.org> wrote: > (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?
It's "integer multiple" to avoid a power of "pi times 0.1".
