Dividing a fraction by an integer