负数是否是实数