Description: A nonnegative extended real is nonnegative. (Contributed by Glauco Siliprandi, 11-Oct-2020)