6.3实数的运算