Dividing fractions by integers