实数的性质及运算