TeX source:
x=.1256