subtracting rationals works