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