plusInteger: 200007
timesInteger: 683234160
minusIntegerN: -991
minusIntegerP: 989
negateInteger: -200011
eqIntegerE: True
eqIntegerN: False
neqIntegerE: False
neqIntegerN: True
absIntegerP: 200018
absIntegerZ: 0
absIntegerN: 200019
signumIntegerP: 1
signumIntegerZ: 0
signumIntegerN: -1
leIntegerL: True
leIntegerE: True
leIntegerG: False
gtIntegerL: False
gtIntegerE: False
gtIntegerG: False
ltIntegerL: True
ltIntegerE: False
ltIntegerG: False
geIntegerL: False
geIntegerE: True
geIntegerG: True
compareIntegerL: LT
compareIntegerE: EQ
compareIntegerG: GT
gcdInteger: 50024
lcmInteger: 1001100300
andInteger: 532
orInteger: 239575
xorInteger: 239041
complementInteger: -200059
quotRemInteger: (813,60)
divModInteger: (219,196)
shiftLInteger: 1600976
shiftRInteger: 6253
quotInteger: 641
remInteger: 68
divInteger: 642
modInteger: 90
doubleFromInteger: 200131.0
floatFromInteger: 200135.0
decodeIntegerDouble: (6877651390169088,-36)
encodeIntegerDouble: 400276.0
encodeIntegerFloat: 400280.0
integerToWord: 200143
integerToInt: 200147
wordToInteger: 200151
intToInteger: 200155
word64ToInteger: 200159
int64ToInteger: 200163