\newcount\@temp@inti
\newcount\@temp@intii

\@lisp@env@add@global\+{\@tlabel@func{\@lisp@func@check@args{*}{\@temp@inti0\relax\@arith@plus}}}
\def\@arith@plus#1#2#3{%
  \ifx#2\relax
    \let\@next@plus\@@arith@pm@fin
  \else\ifx#2\@tlabel@int
    \advance\@temp@inti#3\relax
    \let\@next@plus\@arith@plus
  \else
    \let\@next@plus\@arith@type@error
  \fi\fi\@next@plus#1}

\@lisp@env@add@global\*{\@tlabel@func{\@lisp@func@check@args{*}{\@temp@inti1\relax\@arith@mul}}}
\def\@arith@mul#1#2#3{%
  \ifx#2\relax
    \let\@next@mul\@@arith@pm@fin
  \else\ifx#2\@tlabel@int
    \multiply\@temp@inti#3\relax
    \let\@next@mul\@arith@mul
  \else
    \let\@next@mul\@arith@type@error
  \fi\fi\@next@mul#1}

\def\@@arith@pm@fin#1{\expandafter\gdef
  \expandafter#1\expandafter{%
  \expandafter\@tlabel@int\expandafter{\the\@temp@inti}}}

\def\@arith@type@error#1#2\relax{% notice #2 is dust
  \gdef#1{\@tlabel@exception{{-1}%
    {\@tlabel@string{arithmetical functions takes integer only.}}}}}

\@lisp@env@add@global\-{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@minus}}}
%TODO: error handling of 1st argument
\def\@arith@minus#1#2#3#4#5{%
  \@temp@inti#3\relax
  \ifx#4\relax
    \multiply\@temp@inti-1\relax
    \let\@next@minus\@@arith@pm@fin
  \else\ifx#4\@tlabel@int
    \let\@next@minus\@@arith@minus
  \else
    \let\@next@minus\@arith@type@error
  \fi\fi\@next@minus#1#4{#5}}

\def\@@arith@minus#1#2#3{%
  \ifx#2\relax
    \let\@next@minus\@@arith@pm@fin
  \else\ifx#2\@tlabel@int
    \@temp@intii#3\relax % #3 < 0
    \advance\@temp@inti-\@temp@intii\relax
    \let\@next@minus\@@arith@minus
  \else
    \let\@next@minus\@arith@type@error
  \fi\fi\@next@minus#1}


\@lisp@env@add@global\/{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@div}}}
%TODO: error handling of 1st argument
\def\@arith@div#1#2#3#4#5{%
  \@temp@inti#3\relax
  \ifx#4\relax
    \@temp@intii\@temp@inti\relax
    \@temp@inti1\relax
    \divide\@temp@inti\@temp@intii\relax
    \let\@next@div\@@arith@pm@fin
  \else\ifx#4\@tlabel@int
    \let\@next@div\@@arith@div
  \else
    \let\@next@div\@arith@type@error
  \fi\fi\@next@div#1#4{#5}}

\def\@@arith@div#1#2#3{%
  \ifx#2\relax
    \let\@next@div\@@arith@pm@fin
  \else\ifx#2\@tlabel@int
    \divide\@temp@inti#3\relax
    \let\@next@div\@@arith@div
  \else
    \let\@next@div\@arith@type@error
  \fi\fi\@next@div#1}

\@lisp@env@add@global\mod{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@mod}}}
%TODO: error handling
\def\@arith@mod#1\@tlabel@int#2\@tlabel@int#3{%
  \@temp@intii#2\relax
  \divide\@temp@intii#3\relax
  \multiply\@temp@intii#3\relax
  \@temp@inti#2\relax
  \advance\@temp@inti-\@temp@intii
  \@@arith@pm@fin#1}

\@lisp@env@add@global\<{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@lt}}}
%TODO: error handling
\def\@arith@lt#1\@tlabel@int#2\@tlabel@int#3{%
  \ifnum#2<#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi}

\@lisp@env@add@global\>{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@gt}}}
%TODO: error handling
\def\@arith@gt#1\@tlabel@int#2\@tlabel@int#3{%
  \ifnum#2>#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi}

\@lisp@env@add@global\leq{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@leq}}}
%TODO: error handling
\def\@arith@leq#1\@tlabel@int#2\@tlabel@int#3{%
  \ifnum#2<#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi
  \ifnum#2=#3 \gdef#1{\@tlabel@bool{t}}\fi}

\@lisp@env@add@global\geq{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@geq}}}
%TODO: error handling
\def\@arith@geq#1\@tlabel@int#2\@tlabel@int#3{%
  \ifnum#2>#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi
  \ifnum#2=#3 \gdef#1{\@tlabel@bool{t}}\fi}

\@lisp@env@add@global\isZeroQ{\@tlabel@func{\@lisp@func@check@args{1}{\@arith@is@zero}}}
%TODO: error handling
\def\@arith@is@zero#1\@tlabel@int#2{%
  \ifnum#2=0 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi}

\@lisp@env@add@global\positiveQ{\@tlabel@func{\@lisp@func@check@args{1}{\@arith@is@positive}}}
%TODO: error handling
\def\@arith@is@positive#1\@tlabel@int#2{%
  \ifnum#2>0 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi}

\@lisp@env@add@global\negativeQ{\@tlabel@func{\@lisp@func@check@args{1}{\@arith@is@negative}}}
%TODO: error handling
\def\@arith@is@negative#1\@tlabel@int#2{%
  \ifnum#2<0 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi}

\@lisp@env@add@global\max{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@max}}}
\def\@arith@max#1#2#3{%
  \ifx#2\@tlabel@int
    \@temp@inti#3\relax
    \let\@next@max\@@arith@max
  \else
    \let\@next@max\@arith@type@error
  \fi\@next@max#1}
\def\@@arith@max#1#2#3{%
  \ifx#2\relax
    \let\@next@max\@@arith@pm@fin
  \else\ifx#2\@tlabel@int
    \ifnum#3>\@temp@inti\@temp@inti#3\relax\fi
    \let\@next@max\@@arith@max
  \else
    \let\@next@max\@arith@type@error
  \fi\fi\@next@max#1}

\@lisp@env@add@global\min{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@min}}}
\def\@arith@min#1#2#3{%
  \ifx#2\@tlabel@int
    \@temp@inti#3\relax
    \let\@next@min\@@arith@min
  \else
    \let\@next@min\@arith@type@error
  \fi\@next@min#1}
\def\@@arith@min#1#2#3{%
  \ifx#2\relax
    \let\@next@min\@@arith@pm@fin
  \else\ifx#2\@tlabel@int
    \ifnum#3<\@temp@inti\@temp@inti#3\relax\fi
    \let\@next@min\@@arith@min
  \else
    \let\@next@min\@arith@type@error
  \fi\fi\@next@min#1}