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