11.5.2 Integer

注意，UnlimitedNatural是Integer的子类，因此对于Integer类型的每个参数，你可以使用一个无线自然数做为实际的参数。

- : Integer

self的相反值。

+ (i : Integer) : Integer

self和 i 相加的值。

- (i : Interger) : Integer

从self减去r的值。

* (i : Integer) : Integer

self 和r的乘积值。

/ (i : Integer) : Real

self除以r的值。如果r等于零，结果为invalid。

abs() : Integer

self的绝对值。

post: if self < 0 then result = - self else result = self endif

div( i : Integer) : Integer

self整除i的值。

pre : i <> 0
post: if self / i >= 0 then result = (self / i).floor()
        else result = -((-self/i).floor())
        endif

mod( i : Integer) : Integer

self除以i的余数。

post: result = self - (self.div(i) * i)

max(i : Integer) : Integer

self和r的最大者。

post: if self >= r then result = self else result = r endif

min(i : Integer) : Integer

self和r的最小者。

post: if self <= r then result = self else result = r endif

toString() : String

将self转换为一个字符串值。