6.3.2实数的性质和运算