TeX source:
1002 = 1.002