实数的运算与大小比较