TeX source:

\int_{1.3}^{3.4} \mathrm{INT}(x) \mathrm{dx}