TeX source:
x = 21.28