extended integer

/avail/Avail/Foundation/Bootstrap/Special Objects: extended integer
Source: /avail/Avail/Foundation/Bootstrap/Special Objects
Categories: Primitives, Types, Numbers
See: /about-avail/documentation/type-system/types-extended-integer.html
An integer is a discrete number, i.e., it has no fractional part. As such, integers are excellent for counting and labeling.

The literal representation of an integer is a sequence of one or more decimal digits. Negative integer literals are created using the method -_, which defines a semantic restriction that strengthens the answer's type to an instance type whenever the argument's value is precisely known. and -∞ are positive and negative infinity, respectively.