Description: Elementhood in the set of nonnegative extended reals. (Contributed by Thierry Arnoux, 18-Dec-2016)