Member predicate AbstractValues::AbstractValue::isCoercibleToNumber

Holds if this 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()