int in pyexp.tex