Member predicate CustomAbstractValueDefinition::isCoercibleToNumber
Holds if the induced abstract value is coercible to a number, that
is, it represents at least one concrete value for which the
ToNumber
conversion does not yield NaN
.
predicate isCoercibleToNumber()