16:19
<bakkot>
we have an AO called IsIntegralNumber. in the spirit of "IsPropertyKey" -> "is a property key", we should maybe replace its uses with "is an integral Number"? we already use the latter form in some places.
16:19
<bakkot>
https://tc39.es/ecma262/multipage/abstract-operations.html#sec-isintegralnumber
16:20
<bakkot>
also our definition of "integral number" is "When the term integral Number is used in this specification, it refers to a Number value whose mathematical value is in the set of integers." which strictly speaking is ill-defined because not all Number values have mathematical values. should probably be "refers to a finite Number value [...]"
20:43
<jmdyck>
(Heh, I had "IsIntegralNumber" -> "is an integral Number" on my todo list.)