TeX source:
0.23+0.23=0.46