TeX source:
x=3.018