TeX source:
0.8+0.7+0.7+1.8=4