`ENNReal` is metrizable #

Implementation details #

This file currently only contains results on ENNReal but is named Real.lean to make it clear we can accept more (E)(NN)Real results.