Для вычитания десятичных дробей 12.5 и 3.1, выполним вычитание по разрядам:
\( \begin{array}{@{}c@{\text{}}c@{}c@{}c@{}c@{}c} & 1 & 2 & . & 5 \\ - & & 3 & . & 1 \\ \hline & & & & & \end{array} \)
\( \begin{array}{@{}c@{\text{}}c@{}c@{}c@{}c@{}c} & 1 & 2 & . & 5 \\ - & & 3 & . & 1 \\ \hline & & 9 & . & 4 \end{array} \)
Ответ: 9.4