Originally posted by @gibson042 in #3792 (comment)
The word "finite" has a well-known colloquial meaning which in our spec language is basically "every extended mathematical value other than +∞ and -∞" or equivalently just "mathematical value", and is used as such in e.g. modulo and IsLooselyEqual. However, the spec defines "finite" as a term applying specifically to Number values (i.e., everything except +∞𝔽, -∞𝔽, and NaN), resulting in such uses being inappropriately auto-linked.
I'd like to replace that Number-specific term with "finite Number", update Number-specific sites accordingly ("{is,is not} finite" → "{is,is not} a finite Number" and likewise for "{are,are not}"), and undefine "finite" as a term so that any use is treated as plain English.
We could instead suppress non-Number uses with <emu-not-ref>, but that necessitates a position of constant vigilance that I'd rather avoid.
Originally posted by @gibson042 in #3792 (comment)
The word "finite" has a well-known colloquial meaning which in our spec language is basically "every extended mathematical value other than +∞ and -∞" or equivalently just "mathematical value", and is used as such in e.g. modulo and IsLooselyEqual. However, the spec defines "finite" as a term applying specifically to Number values (i.e., everything except +∞𝔽, -∞𝔽, and NaN), resulting in such uses being inappropriately auto-linked.
I'd like to replace that Number-specific term with "finite Number", update Number-specific sites accordingly ("{is,is not} finite" → "{is,is not} a finite Number" and likewise for "{are,are not}"), and undefine "finite" as a term so that any use is treated as plain English.
We could instead suppress non-Number uses with <emu-not-ref>, but that necessitates a position of constant vigilance that I'd rather avoid.