TeX source:
s=0.7407