TeX source:
INT(x)