TeX source:
5+0.2=5.2