4.27.1 Special purpose integer arithmetic
AllApplicationManualNameSummaryHelp

Availability:built-in
plus(?Int1, ?Int2, ?Int3)
True if Int3 = Int1 + Int2. At least two of the three arguments must be instantiated to integers.