nonnegative implies real