Disallow simultaneously positive/negative `InfExtendedReal`#24

Merged

cjdoris merged 3 commits intocjdoris:masterfrom omus:cv/pos-neg-inf

Aug 11, 2020

+30-12

Commits on Jul 29, 2020

Commits on Jul 31, 2020

Use inner-reinterpret for consistent reproduction
omus
committed