Fix several division algorithm bugs. Add cpp_rational to performance tests. Add modular arithmetic test to test cases.