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()