ParentFull threadmsds·The real line is defined, as Lebesgue measure spits out the extended reals.View on HN