TeX source:
1,57 * 10