Here Inform can see from the decimal point in the prototype number that real numbers will be involved.
That's incorrect, and definitely misleading, since e.g. "1.1 kg specifies a weight" doesn't work. The digit after the point has to be 0, or else we end up specifying a "notation including more than one number" as discussed in Section 15.14.
curiousdannii-testing
commented
2 years ago
Reported by : DrFell
Description :
Section 15.8. Units says:
1.0 kg specifies a weight.
Here Inform can see from the decimal point in the prototype number that real numbers will be involved.
That's incorrect, and definitely misleading, since e.g. "1.1 kg specifies a weight" doesn't work. The digit after the point has to be 0, or else we end up specifying a "notation including more than one number" as discussed in Section 15.14.
Steps to reproduce :
Additional information :
imported from: [Mantis 2053] Misleading comment on specifying a unit taking real number values