TeX source:
s = .72