实数大小比较