12除以1.25的简便运算?