TeX source:

x = 0.157