Dividing a fraction by a whole number