Design #410
Updated by Anna Maria Bigatti about 6 years ago
Should @BigRat@ be split into the type defn and a separate @BigRatOps@? @BigRatOperations@?
Why is @IntOperations@ not called @BigIntOps@? @BigIntOperations@?
Why is @IntOperations@ not called @BigIntOps@? @BigIntOperations@?