Переведите смешанное число в десятичную дробь и вычислите:
\(\displaystyle 15{,}31-12\frac{7}{20}=\)[ ]
Ответ запишите в виде десятичной дроби.