Implement various arithmetic with Rationals