TeX source:
51.6+6.23=?