TeX source:
x=2.0003