TeX source:
8{,}33 \,\%