An abstract value representing a non-zero number.
Gets the Boolean value some concrete value represented by this abstract value coerces to.
Gets the type of some concrete value represented by this abstract value.
Holds if this abstract value is coercible to a number, that is, it represents at least one concrete value for which the
Gets a textual representation of this element.
Gets an abstract value that represents a prototype object of this value.
Holds if this element is at the specified location. The location spans column
Holds if this abstract value is an indefinite value arising from the incompleteness
Gets an abstract primitive value this abstract value coerces to.