TeX source:
x = 1.3