Description: Nonnegative integers are nonnegative reals. (Contributed by Glauco Siliprandi, 11-Oct-2020)