TeX source:
a=0.10