TeX source:
0.56 \div 7