TeX source:

x=3.1,3.004