TeX source:
1.234{,}5