TeX source:
4.5+5 = 9.5