TeX source:
x=-11{,}5