TeX source:
s=0.808045