Open JC-labs opened 6 years ago
Was this tested? The following would not work correctly: -, /, %, and I'm not sure the comparison operators are in the correct order as well.
Those operations are order-dependent, so saying:
6 / InfInt(2) is not the same as InfInt(2) / 6 (which is what would be calculated in your imlpementation.
Non-member versions of operators +, -, , /, %, ==, !=, <, <=, >, >= were added. It resolves #11