TeX source:
8+0.05=8.05