Решение:
Вычитание десятичных дробей выполняется поразрядно, начиная с младшего разряда.
Выравниваем целое число с десятичной дробью, добавляя нули:
12,000 - 1,258 = 10,742
Ответ: 10,742