TeX source:
1.58=0.943