TeX source:
\int_{1.3}^{3.4} \operatorname{INT}(x) d x=3.9