[Merged by Bors] - refactor: Let positivity
handle ENNReal
-valued ofNat
#17212
+7
−3
positivity
handle ENNReal
-valued ofNat
#17212