12.6 实数的运算(2)