Maxplus Function
%top - maxplus constant top
Calling Sequence
%top
Description
The Maxplus "top" (equal to +inf).
See Also
%1
%0