I’d love it if this said “a real number,” since a subset of the real numbers is actually what we want to use for this. But there has been a historical averseness to that term on BN, I think.

This message brought to you by the Campaign for Real Numbers.

Sure, may as well. I don’t remember the term being an issue in the past.

What is a real number

This is why I didn’t want decimal point Fahrenheit measures!!!

I’ve updated my own proposal to specify even more narrowly that what we want are actually rational numbers. I have faith in Josh’s capacity to consult a trusted encyclopedia on the matter.

Jesus

Rational number seems the way to go, I’ll update this proposal so that that’s all it’s doing.

A rational number is just a number that can be expressed as a fraction (or ratio), so it rules out endlessly long values like pi, and fiddly square roots.

(Note to floating voters that this isn’t just pedantic mathematical tinkering, it’s fixing the current bug that Heat being carelessly defined a “non-integer” means that a round number like 98.0 is an illegal value.)

Arguably, values that aren’t numbers at all are also possible values under the current wording. For example potatoes aren’t an integer.