El 25/02/2020 a las 16:42, Alexis Hunt via agora-discussion escribió:
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".
Ah I see, I have misinterpreted that rule to mean that the whole result
must be an integer, as opposed to that the multiple should be an integer.
