goepigenยทFollowJul 31, 2022--ShareSubset of real numbers by default for the entire article, but point taken.