TeX source:
0.5 + 0.5 = 1.0 = 1