TeX source:
a = 5/3