Make InfExtendedReal a bitstype#13
Merged
cjdoris merged 11 commits intocjdoris:master from fchorney:fc/bitstypeJun 14, 2020
+334-107
Commits
Commits on Jun 12, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed