TeX source:
1.6=1.6