Member predicate AbstractValues::IndefiniteAbstractValue::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()