TeX source:
1.200\cdot 0 = 0